perm filename FILES[LET,JMC]116 blob
sn#882524 filedate 1990-03-04 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00082 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00006 00002 Standing files
C00011 00003 Scientific Papers and drafts-SCI
C00015 00004 LISP functions-LISP
C00020 00005 FOL axioms, proofs and papers -AXIOMS
C00026 00006 Not used
C00027 00007 LISP book -BOOK
C00031 00008 Articles -ART
C00038 00009 Quasar and other fakery -QUASAR
C00040 00010 CSD affairs -CSD
C00042 00011 Environment, etc. -ENV
C00044 00012 Proposals -PROPOS
C00049 00013 mtc -MTC
C00051 00014 AI and philosophy study -AIPHIL
C00052 00015 Reviews -REVIEW
C00057 00016 CS206 -CS206
C00059 00017 Research notes -RESEAR
C00069 00018 S1 -S1
C00070 00019 Miscellaneous -MISC
C00077 00020 Political action - ACTION
C00078 00021 Slides for lectures -SLIDES
C00079 00022 Essays in Science and Technology -ESS
C00093 00023 CS226 -CS226
C00094 00024 DRAFTS -DRAFTS
C00095 00025 Other people's papers -OTHERS
C00096 00026 nuclear -NUCLEA
C00097 00027 News stories -NS
C00100 00028 AI Lab -LAB
C00101 00029 Problem solving -PROBLE
C00102 00030 For deletion -del
C00103 00031 Research problems for students -TOPIC
C00104 00032 Patterns -pat
C00106 00033 Space -space
C00107 00034 PUB,JMC An area devoted in the mid 1970s to publicly available files
C00109 00035 References, bibliographies and lists of files -REF
C00110 00036 Epistemology -epist
C00112 00037 w79 files
C00115 00038 Spring 79 files
C00119 00039 e79 files
C00121 00040 Fall 79 files
C00124 00041 W80 files
C00130 00042 Spring 1980 files
C00134 00043 Summer 1980 files
C00139 00044 lit,jmc literary efforts and fragments
C00143 00045 Fall 1980 files
C00149 00046 Winter 1981 files
C00154 00047 accomp[s81,jmc] JMC accomplishments for 1981 ARPA proposal
C00156 00048 Summer 1981 files
C00161 00049 Fall 1981 files - not yet fully annotated
C00167 00050 Winter 82 Files - Not compared with directory
C00171 00051 common[s82,jmc] What is common sense?
C00172 00052 Summer 1982 - not yet compared with directory
C00176 00053 [f82,jmc]
C00181 00054 Winter 1983
C00186 00055 Spring 1983
C00189 00056 Summer 1983
C00191 00057 1983 Fall
C00197 00058 1984 Winter
C00202 00059 1984 Spring
C00206 00060 1984 Summer
C00210 00061 1984 Fall
C00213 00062 1985 winter
C00217 00063 1985 Spring
C00220 00064 1985 Summer
C00224 00065 Fall 1985
C00228 00066 Winter 1986
C00233 00067 Spring 1986
C00236 00068 Summer 1986
C00239 00069 Fall 1986
C00244 00070 Winter 1987
C00248 00071 Spring 1987
C00250 00072 Summer 1987
C00252 00073 Fall 1987
C00258 00074 Winter 1988
C00261 00075 1988 Spring
C00264 00076 1988 Summer
C00267 00077 1988 Fall
C00270 00078 1989 Winter
C00274 00079 1989 Spring
C00276 00080 1989 Summer
C00279 00081 1989 Fall
C00281 00082 1990 Winter
C00283 ENDMK
C⊗;
Standing files
advice[1,jmc] advice to myself
biojmc.tex[1,jmc] long biography and bibliography
books[1,jmc] books to buy or get from library
cal[1,jmc] Calendar file
chrmac.chr[1,jmc] WAITS macros
chron[1,jmc] Chronologically ordered paper files in office
clippi[1,jmc] clippings
einit.cmd[1,jmc] for initializing E with macros
facts[1,jmc] useful or interesting facts
files[let,jmc] File of files
files.old[1,jmc] paper files in garage, 885 Allardice
grants[1,jmc] Information about my grants and contracts
grocer[1,jmc] Grocery shopping list (food)
hchron[1,jmc] Chronologically ordered items filed at home
hfil[1,jmc] Permanent files at home
howto[1,jmc] How to do various things
ideas[1,jmc] merge the various idea files
index[1,jmc] An index into my files, mainly circumscription
indust[1,jmc] industrial lectureship info
info[1,jmc] List of files containing useful information (not jmc)
jmcnot[1,jmc] Notes on paper filed in desk (for now) 1985 nov
jokes[1,jmc] Jokes
librar[1,jmc] my library in office
librar[1,mps] my cataloged books
lifsch[1,jmc] list of files by VAL
locate[1,jmc] locations of objects at home
losers[1,jmc] various fools and bad guys
mad[1,jmc] MAD
maps[1,jmc] Home file of maps
memo.tex[let,jmc] TEX base files
memo.pub[let,jmc] pub base files
msg.msg[1,jmc] incoming net messages
nasmem[1,jmc] National Association of Scholars, members and friends
option.txt[1,jmc] login options
outgo.msg[1,jmc] outgoing messages
notebo[1,jmc] contents of notebooks
notes[1,jmc] notes taken during phone conversations
phon[1,jmc] Phone numbers, addresses and net addresses
pigott[1,jmc] Concerning the Pigott Professorship
public[1,jmc] Public personal data about John McCarthy
<quarter>.in[let,jmc] old incoming messages indexed by quarters
<quarter>.out[let,jmc] old outgoing messages indexed by quarters
quotes[1,jmc] quotations
recipe[1,jmc] recipes and shopping lists
refere[1,jmc] references noted in reading
report[1,jmc] Technical reports of interest to me
review[1,jmc] Reviews of my papers
saying[1,jmc] My sayings and slogans
schola[1,jmc] National Association of Scholars
shed[1,jmc] Contents of shed including books
slide1.tex[1,jmc] TEX macros for 35 mm slides
slide2.tex[1,jmc] TEX macros for overhead projector transparencies
slides[1,jmc] index of slides
stream[1,jmc] stream of consciousness notes
stupid[1,jmc] Stupidities and dishonesties, various sources
tax[1,jmc] Tax deductible expenses
tchron[1,jmc] Temporary file in desk
thomso[1,jmc] Thomson-McKinnon stock account
tickle[1,jmc] Things to do
trip[1,jmc] checklist for trips
unix[1,jmc] info on how to use unix
val[1,jmc] Lifschitz papers
worksh[1,jmc] Workshop proposals
worksh.tex[1,jmc] Workshop policy
Scientific Papers and drafts-SCI
KNOW[E78,JMC] FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
(this version has been revised and extended)
CATALA[E78,JMC] Catalan numbers from S = A + S x S
MODAL[S78,JMC] 30-Jun-78 EXPRESSION OF MODALITY IN FIRST ORDER LOGIC
LISP[F77,JMC] 11-Jun-78 HISTORY OF LISP
REF[F77,JMC] 04-Feb-78 References for lisp history
LISP.CDR[F77,JMC] 04-Feb-78 Hewitt on LISP history
ABSTRA[S78,JMC] 25-Apr-78 Abstract AI Memo with Sato et. al ??
MUSK[W78,JMC] 23-Jan-78 Addresses in Georgian Academy
COMMON[W78,jMC] 03-May-78 TOWARDS A SCIENCE OF COMMON SENSE
LISP.NOT[W78,JMC] 05-Mar-78 Answers to questionnaire on LISP history
CIRCUM[W78,JMC] 30-Jan-78 CIRCUMSCRIPTION INDUCTION draft early version
- A WAY OF JUMPING TO CONCLUSIONS
FIRST.REV[W78,JMC] 20-Jan-78 Start on revision of Rec. Prog
in 1st order logic
ADVENT[E77,JMC] 22-Jun-77 Notes on the improvement of the "Adventure Game".
IJCAI.C[E77,JMC] 02-Jul-78 1977 IJCAI paper
COUNTE[E77,JMC] 28-Jun-77 EXPLAINING COUNTERFACTUALS WITH CARTESIAN PRODUCTS
DOGMIN[E77,JMC] 29-Oct-77 THE MINDS OF DOGS
MINIMA[S77,JMC] 11-Jul-78 CIRCUMSCRIPTION INDUCTION
- A WAY OF JUMPING TO CONCLUSIONS
SATO[W77,JMC] 24-Feb-77 Introduction to paper with Sato, et. al.
CONDIT[W77,JMC] 28-Mar-77 CONDITIONAL EXPRESSIONS - for American
Mathematical monthly
IJCAI.2[W77,JMC] 09-Apr-77 Early draft of IJCAI 77
MENTAL[F76,JMC] 05-Dec-77 ASCRIBING MENTAL QUALITIES TO MACHINES
MENTAL.TEX[F76,JMC] TeX VERSION OF ABOVE
CONCEP[E76,JMC] 01-Sep-77 FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
AND PROPOSITIONS
CONCEP.TEX[E76,JMC] TeX VERSION OF ABOVE
APPLIC[E76,JMC] 20-Aug-76 APPLICATIONS TO ARTIFICIAL INTELLIGENCE (of concepts)
STATE[E76,JMC] 14-Jul-76 Propositions with quantifiers
TRULY[E76,JMC] 19-Sep-76 TRULY INVARIANT ASSERTIONS
SAMEFR[F76,JMC] 21-Jan-77 SIGART article about samefringe
MRHUG[S76,JMC] 13-Dec-76 AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING
KNOW.ART[F75,JMC] 18-Sep-77 AN AXIOMATIZATION OF KNOWLEDGE
AND THE EXAMPLE OF THE WISE MAN PUZZLE
FIRST[F75,JMC] 25-Dec-75 FIRST ORDER LOGIC AND SET THEORY
IN ARTIFICIAL INTELLIGENCE
RELATI.POX[CUR,JMC] 25-Sep-75 Relativistic Systems of Automata
PHIL[ESS,JMC] 23-May-75 McCarthy and Hayes with slight mods
RECUR.ART[ESS,JMC] 23-May-75 RECURSION - for Encyclopedia of Computer Science
ELEPHA[s80,JMC] 14-FEB-80 1980 revision of Elephant paper
LISP functions-LISP
patter[e80,jmc] 31-aug-80 Many versions of inst
LISP.LOR[S79,JMC] 22-Jun-79 Notes on the use of Maclisp
TFLAT.LSP[E78,JMC] iterative trace function corresponding to flat[x,u]
SORT.LSP[W78,JMC] 08-Jan-78 LISP functions for sorting
CANTOR.LSP[W78,JMC] 29-Jan-78 Cantor ordering on ordinals less than ε0
EVAL2.LSP[W78,JMC] 29-Mar-78 Another eval
EVAL3.LSP[W78,JMC] 09-Mar-78 Yet another eval
INVERT.LSP[W78,JMC] 22-Mar-78 Inversion of LISP expressions
INVER2.LSP[W78,JMC] 19-Mar-78 Inversion of LISP expressions
NEWSUB.LSP[W78,JMC] 29-Mar-78 SUBLIS treating quantifiers specially
LAMBDA.LSP[W78,JMC] 29-Mar-78 LISP in λ-calculus
LIBRAR.LSP[W78,JMC] 30-Mar-78 LISP functions using generators of new states
PATTER.LSP[F77,JMC] 20-Nov-77 INST and SOLS
FLAT.LSP[F77,JMC] 13-Dec-77 Intensional functions related to flat
EVAL.LSP[F77,JMC] 13-Dec-77 Hewitt's eval
NORMAL.LSP[F77,JMC] 29-Dec-77 random lisp function
2P.LSP[W77,JMC] 24-Jan-77 Fredkin program for next larger prime
NEXSUB.LSP[F76,JMC] 05-Oct-76 inscrutable ILISP
READ.LSP[F76,JMC] 19-Sep-76 Read and Print functions - ILISP
MATCH.LSP[F76,JMC] 08-Nov-76 INST followed by assignments to vars in pattern
INST2.LBK[F76,JMC] 08-Nov-76 Commutative and associate versions of INST
INST2.LSP[F76,JMC] 08-Nov-76 commutative and associative versions of INST
RULE.LSP[F76,JMC] 08-Nov-76 sample rules for TRANSFORM
INST2.MLS[F76,JMC] 02-Dec-76 Commutative and associative INST
INST2.BB[F76,JMC] 07-Dec-76 commutative and associative
SAME.LSP[F76,JMC] 06-Feb-77 samefringe
INST2.PUB[F76,JMC] 07-Dec-76 Commutative and associative
SAME.PUB[F76,JMC] 13-Dec-76 samefringe
SAMEF[F76,JMC] 13-Dec-76 samefringe
SAME.FR[F76,JMC] 10-Dec-76 Someon's improved version
RESIDU.LSP[F76,JMC] 20-Jan-77 efficient version samefringe
RESIDU.PUB[F76,JMC] 16-Dec-76
COMMON.LSP[F76,JMC] 16-Dec-76 Eliminates common subexpressions
HARRIN.LSP[F76,JMC] 23-Dec-76 Harrington's common subexpression eliminator
INST3.LSP[F76,JMC] 27-Dec-76 INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76 instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76 just a start on problem solver
LISP2[W76,JMC] 20-Jan-76 LISP 2 SPECIFICATIONS
FIXUP2[F75,JMC] 28-Nov-75 Unknown LISP functions
FIXUP.LBK[F75,JMC] 20-Nov-75 LISP functions
FIX[F75,JMC] 20-Nov-75 LISP functions
FIXUP2.LBK[F75,JMC] 25-Nov-75 More functions
FIXUP[F75,JMC] 26-Nov-75 functions
reval.lsp[e80,jmc] 10-sep-80 commented maclisp Italian eval and friends
SPREAD[ESS,JMC] 17-Nov-75 A lisp function
TFLAT.LSP[E78,JMC] 11-Jul-78 Does a trace of flat[x,u]
TAK.LSP[E78,JMC] 01-Oct-78 The Takeuchi function and friends
COUNT.LSP[F78,JMC] call-by-name calls counter
NEEDEV.LSP[F78,JMC] call-by-need eval
PAT.LSP[F78,JMC] obscure
QTAK.LSP[F78,JMC] version of Takeuchi funtion
TAK.LSP[F78,JMC] yet another qtak
TAK2.LSP[F78,JMC] Takeuchi function
FOL axioms, proofs and papers -AXIOMS
KNOWLE.AX[E78,JMC] not much of a start on knowledge axioms with learning and K(person,
proposition,time)
CALIBA.AX[E78,JMC] Caliban's will
SANDP2.AX[S78,JMC] 03-Jul-78 Axioms for Mr. S and Mr. P
SANDP.AX[S78,JMC] 26-Jun-78 Axioms for Mr. S and Mr. P
WISE3.AX[S78,JMC] 26-Jun-78 Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78 Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78 start on axiomatizing unfaithful wives
BLOCKS.AX[W78,JMC] 17-Jan-78 Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78 Axioms for 4 blocks
MOVOLD.AX[W78,JMC] 01-Feb-78 Axioms for moving
BLIROB.AX[W78,JMC] 09-Feb-78 More blind robot
MOVE.AX[W78,JMC] 09-Feb-78 More move axioms
ZF.AX[W78,JMC] 17-Mar-78 Axioms for Zermelo-Frankel
BLIOLD.AX[W78,JMC] 01-Feb-78 Blind robot axioms
INTEGE.AX[W78,JMC] 01-Feb-78 Axioms for integers
CORKY.AX[W77,JMC] 12-Jan-77 LISP axioms
COMPIL.AX[W77,JMC] 20-Jan-77 Axioms for McCarthy-Painter compiler
CORKY.PRF[W77,JMC] 11-Jan-77 Replacing CAR by car in append
LISP.AX[W77,JMC] 11-Jan-77 Lisp axioms
FUNDEF.AX[W77,JMC] 05-Feb-77 Function defs with CONS
CORKY2.AX[W77,JMC] 12-Jan-77 CAR and car
FLAT.PRF[W77,JMC] 13-Jan-77 Termination of flat
NEWFOL[W77,JMC] 13-Jan-77 Proposal for new FOL joint with IMSSS
CORKY2.PRF[W77,JMC] 12-Jan-77 Termination of append
LISP2.AX[W77,JMC] 06-Feb-77 LISP axioms
LISP3.AX[W77,JMC] 24-Jan-77 More LISP axioms
INTEGE.AX[W77,JMC] 13-Jan-77 integers
PRED.PRF[W77,JMC] 25-Jan-77 Proof that predecessor is total
INTEG2.AX[W77,JMC] 25-Jan-77 integer axioms
LISP4.AX[W77,JMC] 06-Feb-77 Somebody's (Richard's?) LISP axioms
expressions. Hurrah for abstract syntax
PUBTES[F76,JMC] 27-Oct-76 Test of macro for constructing conditional
LISP.AX[F76,JMC] 23-Nov-76 Total functions only
KNO.AX[E76,JMC] 03-Aug-76 Axioms with concepts
KNOJOE.AX[E76,JMC] 25-Jul-76 axioms with concepts
KNOW3.AX[E76,JMC] 03-Aug-76 Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76 A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76 with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76 Knowledge with wants and likes
LIST.AX[F76,JMC] 26-Nov-76 Axioms for append and reverse assuming totality
APPNIL.PRF[F76,JMC] 25-Nov-76 u*NIL=u assuming totality
CONCEP.AX[S76,JMC] 03-Jun-76 NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76 Propositions are true in situations
EXTENS.AX[S76,JMC] 15-Jun-76 Extensional forms
CONCE2.AX[S76,JMC] 27-Jun-76 Axioms for concepts
TELLJO.AX[S76,JMC] 29-Jun-76 Joe does what he thinks will achieve his goals
CHECKE.AX[W76,JMC] 31-Jan-76 Axioms for mutilated checker board
HEAVY.SET[W76,JMC] 26-Jan-76 Notes on Heavy Duty Set Theory
HEAVY.AX[W76,JMC] 28-Jan-76 Heavy duty set theory
UNIT.PRF[W76,JMC] 22-Jan-76 The unit set is a set
Z2.AX[W76,JMC] 24-Jan-76 Axioms for integers
BLOCKS.AX[W76,JMC] 13-Feb-76 Old blocks axioms
HEAVY.THE[W76,JMC] 31-Jan-76 Theorems in heavy duty set theory
TAUT.PRF[F75,JMC] 13-Dec-75 Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75 General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75 Kripkean knowledge axioms
REV1.PRF[F78,JMC] proof of properties of rev1
REVDIS.PRF[F78,JMC] distributivity of rev1
TAK2.AX[F78,JMC] axioms for Takeuchi function
TAK2.PRF[F78,JMC] memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC] axioms for Takeuchi function
TAKEUC.PRF[F78,JMC] proof of correctness of Takeuchi function
Not used
LISP book -BOOK
files[boo,jmc] pub files for the book - formerly in Carolyn's
areas
THEORY.NEW[W78,JMC] 21-Apr-78 New draft of theory chapter of LISP book
INTRO[W78,JMC] 20-Mar-78 Introduction for LISP book
INTRO2[W78,JMC] 20-Mar-78 Another draft of LISP book introduction
prefac[206,jmc] 06-Sep-80 Another draft of introduction
FIRST.QUE[W78,JMC] 17-Jan-78 Notes for Rec. Prog. in 1st order logic
IMPURE[F77,JMC] 15-Nov-77 IMPURE PROGRAMS AND UNCLEAN PROGRAMS
IMPLEM.LIS[F77,JMC] 08-Nov-77 Chapter on implementation of LISP
MCPAIN[F77,JMC] 23-Nov-77 Correctness of a Compiler for Arithmetic Expressions
ABSTRA[F77,JMC] 19-Nov-77 Abstract Syntax and the Correctness
of a Compiler for Arithmetic Expressions
LISP.2[F77,JMC] 11-Nov-77 Additional chapters and sections to LISP book.
HARD.LSP[F77,JMC] 15-Dec-77 SOME DIFFICULT LISP PROBLEMS
MICRO[F77,JMC] 10-Mar-78 A MICRO-MANUAL FOR LISP - NOT THE WHOLE TRUTH
ABSTRA[W78,JMC] 20-Mar-78 ABSTRACT SYNTAX
MICROM[E77,JMC] 01-Jul-77 MICRO-MANUAL FOR LISP - MOSTLY TRUTHFUL%1
INFORM[E77,JMC] 05-Sep-77 Informal example of proof of program
APPEND[E77,JMC] 09-Sep-77 Putting FOL proofs in appendix
THEORY[S77,JMC] 10-May-77 Old draft of chapter 3
SAMEFR[S77,JMC] 02-Jun-77 %3correctness OF %2samefringe%1
PROGRA[F76,JMC] 29-Sep-76 .ss Numerical computation
CH1N2[E76,JMC] 10-Sep-76 Draft of chapter I
REPRES.ALT[E76,JMC] 10-Sep-76 Representation of LISP functions as lists.
PROGRA[E76,JMC] 26-Sep-76 Numerical and sequential programming
TRANS1.BB[F76,JMC] 03-Nov-76
SAME.VAR[F76,JMC] 09-Dec-76 Blackboard version of same
GAME.BB[F76,JMC] 03-Nov-76
TRANS2.BB[F76,JMC] 04-Nov-76
INST.BB[F76,JMC] 04-Nov-76
SEXP[F75,JMC] 05-Oct-75 Writing LISP programs as S-expressions
QUINE[S76,JMC] 26-Apr-76 Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78 Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79 Programs and proofs about ordinals less than ε0.
BOOK[F78,JMC] Goedel numbers for book
Articles -ART
ARTIFI.2[W78,JMC] 07-May-78 Collier's Encyclopedia article on AI
ARTIFI.3[W78,JMC] 09-May-78 Another draft of Collier's article on AI
ARTIFI[W78,JMC] 02-Apr-78 ARTIFICIAL INTELLIGENCE - for Collier's Enc.
HAUGEL.NOT[W78,JMC] 25-Jan-78 Notes on Haugeland paper
HAUGEL[W78,JMC] 03-Feb-78 Comments on John Haugeland's
CHROMA[W78,JMC] 28-Jan-78 ARCHAEOLOGICAL CHROMATOGRAPHY
REPLY[F77,JMC] 14-Oct-77 MAKING AN EFFECTIVE RIGHT OF REPLY
UNEMPL[F77,JMC] 08-Nov-77 Notes on unemployment
AFRICA[F77,JMC] 05-Nov-77 TOWARDS MEDIATION IN SOUTH AFRICA
ESCAPE[F77,JMC] 05-Nov-77 ESCAPING THE WELFARE STATE
PSYCHO[F77,JMC] 12-Nov-77 PSYCHOLOGICAL PHENOMENA IN POLITICS
IRRATI.ESS[S78,JMC] 27-Jun-78 TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
COMPOL[S78,JMC] 19-May-78 COMPUTER AIDS TO IMPROVING POLITICS
POLITI[S78,JMC] 02-May-78 THE SEVEN LEVELS OF POLITICAL PARTICIPATION
ETHICS[S78,JMC] 24-May-78 POLITICAL ENTHUSIASM AND ENGINEERING ETHICS
CRASH[S78,JMC] 12-Jul-78 PROPOSAL FOR A STUDY OF A NATIONAL CRASH PROGRAM IN ENERGY
SOCIAL[W78,JMC] 12-Feb-78 Some notes on conservative view of social change
PROLIF[W78,JMC] 01-Apr-78 THE PRESENT DANGER OF NUCLEAR WAR
INDUST[W78,JMC] 06-Feb-78 Gloom about the post-industrial society
DEATH[E77,JMC] 02-Jul-77 THE DEATH PENALTY AND THE CONSTITUTION
POLITI[E77,JMC] 03-Sep-77 ENERGY AND POLITICS
CIRCUM[E77,JMC] 07-Oct-77 Circumstances, not personality determine behavior
SECESS[E77,JMC] 30-Jul-77 Could we secede from anti-technology
JUSTIC[E77,JMC] 05-Aug-77 Justice as right to emigrate
Consequences of population stability
PREDAT[E77,JMC] 09-Aug-77 A PREDATORY CULTURE?
INTELL[S77,JMC] 16-Jun-77 NOTES ON INTELLIGENCE IN THE UNIVERSE
CARTER[W77,JMC] 02-Feb-77 A DEPRESSING SPEECH
BREEDE[W77,JMC] 15-Feb-77 The breeder and ideology - a bare start
WHATIF[W77,JMC] 17-Mar-77 ESCAPING THE COLLAPSE OF AMERICAN SOCIETY
HUMANI[F76,JMC] 26-Oct-76 COMPUTERS AND THE HUMANIZATION OF BUSINESS
HAPPIN[F76,JMC] 18-Oct-76 HAPPINESS IS A DUBIOUS CONCEPT
ESCAPE[E76,JMC] 19-Sep-76 ESCAPE FROM THE EARTH
REVOLU[E76,JMC] 21-Sep-76 THE REAL COMPUTER REVOLUTION
AFRICA[F76,JMC] 02-Dec-76 ON PREVENTING NUCLEAR WAR IN AFRICA
WOMEN[F76,JMC] 22-Dec-76 WOMEN IN SCIENCE, MATHEMATICS AND ENGINEERING
SFWA[S76,JMC] 14-Apr-76 Fine talk, but unfortunately not given that way.
COMMUN[S76,JMC] 27-Apr-76 WILL WEST EUROPEAN COMMUNISM BECOME STALINIST
TENURE[S76,JMC] 30-Apr-76 Justification of tenure system
OPTIM[F75,JMC] 20-Sep-75 THE SCIENTIFIC BASIS FOR TECHNOLOGICAL OPTIMISM
AAAS[W76,JMC] 20-Feb-76 The real computer revolution hasn't happened.
COMMUN[W76,JMC] 13-Feb-76 WHY THE COMMUNISTS CAN'T KEEP DEMOCRACY
EVEN IF THEY SINCERELY THINK THEY WILL
KOREA[W76,JMC] 05-Apr-76 KOREA'S AMERICAN POLICY
HOTER.ESS[W76,JMC] 09-May-76 THE HOME INFORMATION TERMINAL
HOTER.TEX[W76,JMC] 06-Jun-87 TEX VERSION OF HOTER.ESS THE HOME INFORMATION TERMINAL
RESOUR[W76,JMC] 12-Mar-76 Importance of low grade ores
FREEDO[W76,JMC] 28-Mar-76 THREATS TO FREEDOM OF SCIENTIFIC INQUIRY
DEPEND[W76,JMC] 18-Aug-76 ENDING DEPENDENCE ON AMERICA
SUN.OUT[W76,JMC] 26-Feb-76 WHAT IF THE SUN WENT OUT
IJCAI.DOC[F75,JMC] 27-Oct-75 Requests for comments on IJCAI report
CPDUST[CUR,JMC] 02-Jan-75 COMMITTEE FOR PROMOTION AND DEFENSE
OF USEFUL SCIENCE AND TECHNOLOGY
IDEOLO.ART[CUR,JMC] 18-Dec-74 ENERGY AND IDEOLOGY
SOCIAL.DEF[CUR,JMC] 04-May-78 REPAIRING THE DEFECTS OF SOCIALISM
LEADER.ART[CUR,JMC] 19-Dec-74 THE UNITED STATES SHOULD RESIGN AS LEADER
OF THE FREE WORLD
IDEOLO[CUR,JMC] 21-Jul-75 THE THREADS OF LEFT-WING IDEOLOGY
ISOLAT.ESS[ESS,JMC] 26-Mar-75 THE CASE FOR ISOLATIONISM
BASIC.ESS[ESS,JMC] 10-Jun-74 BASIC SCIENCE AND BASIC TECHNOLOGY
REPLY[E78,JMC] 26-Jul-78 COMPUTER TECHNOLOGY AND THE RIGHT OF REPLY
ALGOL[E78,JMC] 15-Sep-78 The ALGOL committee changed its purpose
SLOW[E78,JMC] 20-Sep-78 WHY IS PROGRESS SO SLOW?
CONCEP[F78,JMC] FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
AND PROPOSITIONS
AIM1.PUB[W79,JMC] PREDICATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
AI Memo 1
Quasar and other fakery -QUASAR
CATHY.QUA[F77,JMC] 07-Jan-78 Quasar stuff
QUASAR[S78,JMC] 15-Jun-78 STATEMENT ON THE STATE OF THE ART IN ROBOTICS
FAKE.LIS[F77,JMC] 21-Nov-77 Mailing list for quasar stuff
HARSH.QUA[F77,JMC] 01-Dec-77 Harsh version of CMU Quasar report
PRESS.QUA[F77,JMC] 01-Dec-77 STANFORD UNIVERSITY PRESS RELEASE
MESS.QUA[F77,JMC] 01-Dec-77 File of messages about Quasar
FAKE.MEM[F77,JMC] 14-Nov-77 Justification of press release
NYT.QUA[F77,JMC] 04-Dec-77 Klinefeld article on Quasar
QUASAR[F77,JMC] 21-Nov-77 Quasar promotional material
SWINDL[F77,JMC] 22-Nov-77 How Quasar might be making money
LADY.QUA[F77,JMC] 22-Nov-77 How to detect attempt to swindle
GMROB.QUA[F77,JMC] 22-Nov-77 GM report on Quasar
MORE.QUA[W77,JMC] 12-Feb-78 Quasar sentry from Popular Electronics
CSD affairs -CSD
phones.pty[inf,csd]
people.csd[dir,csd]
csd.bbd[inf,csd]
LISP.PRO[S78,JMC] 22-Apr-78 Memo on changing catalog description of LISP
course.
CATALO[S78,JMC] 28-Apr-78 New catalog descriptions of my courses
VERIFI[S78,JMC] 14-May-78 Propaganda for verification in CS education
MANNA.PR1[LET,JMC] 24-Apr-78 Long form for Manna
FILMAN.REC[F77,JMC] 13-Dec-77 Filman recommendation
AIQUAL[S77,JMC] 09-May-77 PREPARATION FOR AI QUAL
LSPLUG[W77,JMC] 09-Jan-77 Vaughan Pratt brief for LISP as teaching language
LSPLUG.PUB[W77,JMC] 17-Jan-77 Vaughan Pratt plug for LISP
LSPLUG.DOC[W77,JMC] 13-Jan-77 Another version of the LISP plug.
SIGMA[W77,JMC] 07-Mar-77 Sigma Xi lecture topics
POLICY[W77,JMC] 07-Mar-77 AI Lab policy on CSD use
CSDDIS.DOC[206,JMC] 14-Nov-73 Departmental display system
CSDDIS.PRO[F76,JMC] 14-Jan-77 Departmental display system
MANNA.RE1[E76,JMC] 26-Jul-76 Justifying Manna as PI
LUCKHA.BLA[F75,JMC] 03-Oct-75 He should have PI status
SCIP[CUR,JMC] 19-Mar-75 Comments on SCIP report
AI2.QUA[ESS,JMC] 15-Feb-72 '72 AI Syllabus
AISY2.QUA[ESS,JMC] 12-Jan-72 '69 AI Syllabus
AISY69.QUA[ESS,JMC] 24-Jan-72 '69 AI Syllabus
AI72.QUA[ESS,JMC] 05-May-76 1972 AI Qual
Environment, etc. -ENV
HAYES.RE1[S78,JMC] 27-May-78 Criticism of conservation paper by Denis Hayes
SUNDAY[S78,JMC] 17-May-78 Sun Day and the ethical problems of scientist
and engineers
OPINIO[S78,JMC] 25-Jun-78 Opinion poll on prop. 13 - bulletin board
IDEOLO.ENE[F77,JMC] 08-Oct-77 ENERGY AND THE ANTI-TECHNOLOGY IDEOLOGY
SMOKE[F77,JMC] 30-Nov-77 WHY THE ANTI-SMOKING PETITION SHOULDN'T BE SIGNED
PANEL[S78,JMC] 18-May-78 Appropriate science - handout for panel
NLCPI[S77,JMC] 09-Jun-77 NOTES FOR NLCPI ACADEMIC ADVISORY COUNCIL MEETING
SHUTDO[S76,JMC] 08-Apr-76 If prop. 15 passes, the enviromentalists will be
sorry.
SORRY[S76,JMC] 08-Apr-76 WHY THE ENVIRONMENTALISTS WILL BE SORRY
IF THEY PASS PROPOSITION 15
ENERGY[W76,JMC] 16-Jan-76 AN ENERGY CRISIS IS COMING
IDEOLO[W76,JMC] 01-Feb-76 IDEOLOGY AND ENERGY
DAILY.ART[F75,JMC] 06-Dec-75 THE ACADEMIC COMMUNITY AND THE NEXT ENERGY CRISIS
REFERE[ESS,JMC] 15-Mar-76 ecoreferences: losers
ECO.ESS[ESS,JMC] 26-Mar-75 WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
QUOTES[f81,JMC] 05-Jun-78 Revealing quotes from Ehrlich,Commoner, Train
Proposals -PROPOS
grants[1,jmc] Grant and contract awards
see also physical file grants in topics drawer
which also contains proposal reviews
renew.83[s83,jmc] NSF renewal proposal
nsf.80[e80,jmc] 23-Aug-80 NSF proposal for basic research in AI (1980)
NSF[E77,JMC] 21-Apr-78 NSF proposal for Basic Research in AI
RENEW.PRO[W79,JMC] xx-apr-79 NSF proposal renewal for 2nd year
RENEW.PRO[W80,JMC] 15-MAR-80 NSF proposal renewal for 3rd year
PROOF.PRO[E78,JMC] 29-Jul-78 Proposal for CS206 proof-checker
renew.82[w82,jmc] 22-Mar-82 NSF proposal renewal for 2nd year
RENEW[S78,JMC] 06-Jul-78 Proposal to renew Dialnet project
FR.NOT[S78,JMC] 04-Jul-78 leftovers on 1978 ARPA renewal proposal
NSF.NOT[E77,JMC] 11-Jul-77 Notes for Basic AI NSF proposal
NSF.ADD[E77,JMC] 07-Sep-77 Addendum to NSF Basic AI proposal
NEW.PRO[W77,JMC] 18-Mar-77 1977 proposal material
NEW1.PRO[W77,JMC] 18-Mar-77 1977 proposal
ARPA[W77,JMC] 12-Mar-77 Manna material for 1977 proposal
MTC.PRO[W77,JMC] 14-Mar-77 1977 MTC proposal material
OLD1.PRO[W77,JMC] 18-Mar-77 Material for 1977 proposal
CSDDIS.PRO[F76,JMC] 14-Jan-77 Departmental display system
RUSSEL.DIV[E76,JMC] 16-Aug-76 RUSSELL'S DIVISION OF ARPA ITP PROJECTS
CONCEP.ADV[E76,JMC] 26-Jul-76 ARPA RELEVANCE OF RECENT RESULTS ON CONCEPTS
REPORT[E76,JMC] 27-Jul-76 Report by Glassmire on FOL et. al.
ACCOMP[S76,JMC] 18-Jun-76 Accomplishments of AI Lab
CARLST.CON[W76,JMC] 09-Jan-76 Conversation with Carlstrom
IJCAI.ENQ[F75,JMC] 19-Sep-75 Request for advice on IJCAI-75 report
SURVEY.REQ[F75,JMC] 21-Oct-75 Request from Russell for survey articles
BELLNE.PRO[F75,JMC] 23-Sep-75 Early version of Dialnet proposal
ACCOMP[W76,JMC] 27-Feb-76 ACCOMPLISHMENTS IN FORMAL REASONING
BULLET[F75,JMC] 17-Oct-75 FORMAL REASONING
ARPA.PLN[F75,JMC] 22-Oct-75 FIVE YEAR PLAN FOR FORMAL REASONING (first draft)
OFFICE.PLN[F75,JMC] 23-Oct-75 ARPA INITIATED DOD STANDARDS ON OFFICE COMPUTER SYSTEMS
ARPMTC[CUR,JMC] 01-Mar-75 Answers to Licklider questions
REPRES.LIC[CUR,JMC] 10-Dec-74 THE FORMAL EXPRESSION OF HUMAN REASONING
REPRES.LI2[CUR,JMC] 09-Dec-74 Formal reasoning and MTC groups
RUSSEL.REQ[ESS,JMC] 19-Oct-75 Subject: OUTLINE OF PLANNED BASIC AI WORK
AI.HIS[ESS,JMC] 30-Dec-72 Justification of DoD support of AI
3D.NSF[ESS,JMC] 14-Nov-73 Proposal on 3-d drawings
ARPA.PUB[ESS,JMC] 24-Nov-75 1973 ARPA proposal
AUTDED[ESS,JMC] 19-Oct-75 Luckham for proposal
renew.pro[s83,jmc] 1983 NSF renewal (almost certainly the following file)
renew.83[s83,jmc] 1983 NSF renewal
nsf.84[w84,jmc] 1984 NSF proposal
nsf.rep[w85,jmc] report on previous nsf proposal
basic.rep[e85,jmc] Report for NSF on Basic Research in AI
nsf.86[w86,jmc] NSF renewal proposal
darpa[e86,jmc] Notes for 1986 proposal
darai.w87[doc,clt] 1987 DARPA AI proposal from formal reasoning
nsf87.pro[w87,jmc] 1987 NSF formal reasoning renewal
nsf[w88,jmc] 1988 NSF Basic Research in AI Proposal
mtc -MTC
EXTENS[F77,JMC] 07-Oct-77 "#. Programs as objects and extensional forms."
BLOB[W76,JMC] 19-Feb-77 THE BLOB FUNCTIONS OF FLOW CHARTS
FIRST.NEW[W77,JMC] 23-Jun-78 REPRESENTATION OF RECURSIVE PROGRAMS
IN FIRST ORDER LOGIC
kyoto.pub[e81,jmc] Another draft of recursive programs in
first order logic
CORREC[S78,JMC] 28-May-78 STATING THE CORRECTNESS OF LISP PROGRAMS
INTENS[E78,JMC] 30-Jul-78 INTENSIONAL PROPERTIES OF RECURSIVE PROGRAMS
EXOTIC[W77,JMC] 13-Aug-77 EXOTIC CONTINUOUS FUNCTIONALS
NOTES[E78,JMC]/2p 30-Jul-78 iterativity is extensional in the functional
AIRLIN.MTC[ESS,JMC] 02-Dec-71 THE MCCARTHY AIRLINE RESERVATION SYSTEM
TAKEUC[E78,JMC] 28-Sep-78 AN INTERESTING LISP FUNCTION
TAKEUC.TEX[F78,JMC] AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
BEN[W79,JMC] Suggestions for Ben Moszkowski on derived functions
CBN[W79,JMC] Examples of call-by-name recursion counters.
cyclic[e80,jmc] Induction principle for cyclic list structures
re-entrant, reentrant
AI and philosophy study -AIPHIL
AIPHIL.2[F77,JMC] 03-Nov-77 1979-80 STUDY OF ARTIFICIAL INTELLIGENCE
AND PHILOSOPHY
AIPHIL[F77,JMC] 29-Dec-77 Names and references for study
TRIP[S78,JMC] 16-Jun-78 prices for trip
KNOW.LST[S78,JMC] 04-Jun-78 People interested in knowledge
AIPHIL.2[S78,JMC] 26-May-78 Announcement of CASBS AI and philosophy study
NAME[ESS,JMC] 15-Sep-77 names of philosophers
AIPHIL.PRO[W79,JMC] for CASBS Sloan proposal for AIphil
Reviews -REVIEW
BODEN.CRI[F77,JMC] 09-Oct-77 Boden's 1st book
DENNET.CRI[F77,JMC] 15-Oct-77 Dennet books and papers
BODEN2.CRI[F77,JMC] 24-Oct-77 Artificial intelligence and natural man
BACKUS[S78,JMC] 06-Jun-78 Remarks on a paper of Backus
WEIZEN[S78,JMC] 08-May-78 Counters to Weizenbaum comments on Future Study
HAUGEL.NOT[W78,JMC] 25-Jan-78 haugeland on cognitivism
HAUGEL[W78,JMC] 03-Feb-78 "The nature and problems of cognitivism"
OWL.NOT[E77,JMC] 28-Jun-77 Comments on Martin's OWL
BARAN.RE1[E77,JMC] 28-Aug-77 Communication and computation should be separate
COMMAN[E77,JMC] 11-Sep-77 Commentary on Command Neuron Idea
for Behavioral and Brain Sciences
CGOL.GRU[W77,JMC] 05-Feb-77 GRUMBLES ABOUT CGOL
PRATT[W77,JMC] 05-Feb-77 Pratt reply to CGOL.GRU
FILMAN[W77,JMC] 07-Mar-77 Suggestions on Filman dissertation
SUPPES.LE1[LET,JMC] 17-Mar-77 Comments on Suppes's "From behaviorism to
neobehaviorism
AI[W77,JMC] 01-Oct-77 Comments on "The State of Technology
in Artificial Intelligence" by
Duda, Nilsson, and Raphael
BELL.MOR[W77,JMC] 27-Mar-77 More on Danel Bell
STUDY.FS[W77,JMC] 28-Mar-77 Comments for Future Study, Moses and Dertouzos
LICKLI.MOR[W77,JMC] 27-Mar-77 More comments on Licklider paper
WINSTO[F76,JMC] 13-Oct-76 Comments on Winston's "Artifical Intelligence"
BOLLES[E76,JMC] 13-Sep-76 Comments on Bolles's dissertation
PREJUD[E76,JMC] 15-Sep-76 PREJUDICED ANALYSIS article in Creative Computing
COMMEN[S76,JMC] 11-May-76 For future study
WEIZEN.RE2[S76,JMC] 25-Oct-76 Physics Today review of Weizenbaum
MOORE[S76,JMC] 12-May-76 Comments on your draft dissertation proposal:
WEIZEN.RE3[S76,JMC] 27-Apr-76 Physics Today review
MORAVE[S76,JMC] 29-May-76 Comments on "The Role of RAW POWER
in INTELLIGENCE" by Hans Moravec
III[S76,JMC] 07-Jun-76 III AND OFFICE AUTOMATION
KAHN.RE1[S76,JMC] 23-Jun-76 Kahn and Gorry - report
NEWBOR.REV[F75,JMC] 30-Sep-75 Computer Chess, Monroe Newborn
WEIZEN[W76,JMC] 19-Apr-76 AN UNREASONABLE BOOK, long review of Weizenbaum
PARKER[W76,JMC] 27-Feb-76 Social Implications of Computer/Telecommunications
Systems - Parker.
COUNTE[F75,JMC] 27-Sep-75 NOTES ON COUNTERFACTUAL CONDITIONAL, esp. Lewis
RYLE.REV[F75,JMC] 21-Oct-75 A little bit on Ryle
GILFIL.REV[F75,JMC] 01-Nov-75 Migration to the stars
POLEMI.MEN[F75,JMC] 05-Jan-76 With Taylor
NOTE.MJH[206,JMC] 07-Nov-73 Note to Marsha Jo Hanna suggesting correlation scale
LIGHT.RE5[ESS,JMC] 25-Jul-75 Lighthill review
DREYFU.REV[F78,JMC] review of Dreyfus paper for IEEE
FINDLE.REV[F78,JMC] comments on Findler proposal
CS206 -CS206
MIDTER.206[F77,JMC] 27-Oct-77 Fall 77 midterm
midter.f81[f81,jmc] cs206 midterm
midter.f82[f82,jmc] 206 midterm
midter.f83[f83,jmc] CS206 midterm
midter.f85[f85,jmc] 1985 CS306 (cs206) midterm
PROB.206[F77,JMC] 02-Nov-77 A DIFFICULT VERIFICATION PROBLEM
FINAL.S77[S77,JMC] 08-Jun-77 CS206∂(30)FINAL EXAMINATION→SPRING 1977
FINAL.F77[F77,JMC] 22-Jan-78 Fall 1977 final
FINAL.F81[F81,JMC] CS206 final
final.f82[206,jmc]
final.f83[f83,jmc] CS206 final
final.f84[206,jmc] Fall 84 final
final.f85[f85,jmc] Fall 1985 CS306 final exam
TERM.206[S77,JMC] 12-May-77 TERM PROJECTS FOR CS206
PROBLE.206[S77,JMC] 18-May-77 Proof problems for CS206
PROB.206[W77,JMC] 06-Feb-77 Another problem
PROB1.206[W77,JMC] 07-Apr-77 Problem set to be done at LOTS
EXERCI.206[W77,JMC] 28-Mar-77 Notes for first exercise
TASK.TA[F75,JMC] 02-Oct-75 TASKS FOR THE TEACHING ASSISTANT IN CS206
NICK.FIL[F75,JMC] 30-Sep-75 This is a list of the files in 206,nxl.
TERMPA.206[F75,JMC] 25-Nov-75 Term papers for CS206
206JMC.ARC[206,LSP] 26-Jul-78 Carolyn's inventory of 206,jmc
final.ans[f83,jmc] Answers to some of the problems on CS206 final
f84.ans[206,jmc] Answers to 1984 206 final
Research notes -RESEAR
mail[let,jmc] Electronic mail as a product
mailad[let,jmc] draft advertisement
maille[let,jmc] draft letter to company
kant[let,jmc] Notes on Kant
SOLVE[F77,JMC] 20-Nov-77 Note on the LISP inversion problem solver
NOT[F77,JMC]/2p 28-Nov-77 Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77 Epistemology of general problem solving
PROBLE[S78,JMC] 04-Jul-78 Features of proposed problem solver.
PATTER[S78,JMC] 23-Apr-78 Patterns in sequence solitaire
BLOCKS.NOT[W78,JMC] 27-Jan-78 Notes on blocks axiomatizations
PATTER.NOT[W78,JMC] 26-Mar-78 notes for patterns in logic paper
CONJEC[W78,JMC] 21-Apr-78 CONJECTURES ABOUT CONTINUOUS FUNCTIONS ON FLAT DOMAINS
RECURS.NOT[W78,JMC] 15-Mar-78 Expressing theorems about recursion in set theory.
ABSTRA[W78,JMC] 20-Mar-78 ABSTRACT SYNTAX
MISSIO[W78,JMC] 23-Mar-78 NOTES ON THE MISSIONARIES AND CANNIBALS
MAXIMA[W78,JMC] Conjectures about a maximal consistent set theory
PERSON[W78,JMC] 06-Mar-78 Abstract for Jerusalem talk on personal computing
PUZZLE[W78,JMC] 29-Jan-78 Solution to a blocks construction puzzle
EPISTE.NOT[W78,JMC] 25-Feb-78 Reference on epistemology (production version)
NOTES[W78,JMC] 27-Feb-78 Reference on Gentzen axioms for modal logic
IJCAI.NOT[E77,JMC] 23-Jun-77 Notes for 1977 IJCAI paper, more ideas than appeared
PARADO[E77,JMC] 12-Jul-77 Notes on paradoxes and self-application
NOTEBO.OK[S77,JMC] 05-Jun-77 Knowledge, political statements by scientists
and applications of circumscription
CHALLE[S77,JMC] 30-May-77 Debate challenge to Weizenbaum - not sent
PROBLE.AI[S77,JMC] 17-Jun-77 Open problems of AI
SUBGOA[W77,JMC] 04-Feb-77 Minimization schema and subgoal induction
TRADE[W77,JMC] 25-Jan-77 THE TRADERS - AN EXAMPLE OF ASYNCHRONOUS ACTIONS
RECURS[W77,JMC] 28-Jan-77 DESCRIBING RECURSIVE FUNCTIONS IN FIRST ORDER LOGIC
PHILOS[W77,JMC] 05-Feb-77 MODELS OF EPISTEMOLOGICAL SYSTEMS
DERIVE[W77,JMC] 10-Feb-77 Derived Functions
FIRST.MOR[W77,JMC] 07-Apr-77 Second order schemata
REPRES[W77,JMC] 11-Feb-77 A NATURAL REPRESENTATION of recursive functions
COUNTE[W77,JMC] 24-Feb-77 COUNTERFACTUALS
, CARTESIAN PRODUCTS AND APPROXIMATE THEORIES
NAIVE[W77,JMC] 02-Mar-77 A SOPHISTICATED THEORY OF NAIVE LANGUAGE
CONTIN[W77,JMC] 18-Mar-77 CONTINUOUS FUNCTIONALS AND THEIR LEAST FIXED POINTS
HARDWA[W77,JMC] 20-Mar-77 HARDWARE PERFORMANCE PROBLEMS OF
TIME-SHARED COMPUTERS
SAMEFR.RE1[W77,JMC] 22-Mar-77 reply to Burger
NOTES[E76,JMC] 15-Aug-76 More notes on motivation.- moved to motiva[f81,jmc]
IDEA[E76,JMC] 13-Jul-76 Two tiny cryptic ideas
IGNORA[E76,JMC] 14-Sep-76 ANOTHER APPROACH TO IGNORANCE - Goad's
CONCEP.NOT[E76,JMC] 22-Nov-76 Some ideas about concepts
CONCEP.SUP[E76,JMC] 20-Aug-76 PHILOSOPHICAL REMARKS
MEANIN[F76,JMC] 23-Nov-76 Meanings as inverse limits
OWE[F76,JMC] 03-Dec-76 ABOUT OWING; it isn't necessarily a mental concept
MENTAL.NOT[F76,JMC] 06-Aug-77 Addenda to MENTAL
MENTAL.1[F76,JMC] 23-Dec-76 Notes
MENTAL.2[F76,JMC] 08-Jan-77 notes for mental
METAPH[F76,JMC] 29-Dec-76 Notes on Metaphysics, local situations
MENTAL.3[F76,JMC] 29-Jul-77 notes for MENTAL
CARTES[S76,JMC] 29-Apr-76 CARTESIAN PRODUCT SEARCH SPACES, not much
deleted 1989 July and contents moved to search.tex[w76,jmc]
PROBLE[S76,JMC] 12-May-76 A Classification of Problems in AI
CONTEX[S76,JMC] 24-Jul-76 CONTEXT DEPENDENT SEMANTICS
MOTIV2.MEN[S76,JMC] 02-May-76 Peculiarities of human motivation
moved to motiva[f81,jmc]
EXTENS[S76,JMC] 30-Jun-76 EXTENSIONAL FORMS
ABSTRACT FORMS - abstract synt + ext forms
FREGE[W76,JMC] 14-Jan-76 REHABILITATING FREGE
TASKS.SET[W76,JMC] 24-Jan-76 Getting good set theory in FOL
KNOW[W76,JMC] 30-Mar-76 KNOWLEDGE OF TELEPHONE NUMBERS
SEARCH[W76,JMC] 28-Mar-76 FINITE STATE SEARCH PROBLEMS, superseded
SEARCH.tex[W76,JMC] 18-Sep-89 FINITE STATE SEARCH PROBLEMS, tex version previous
AI[F75,JMC] 25-Sep-75 General article on AI
AUTOMA.2[F75,JMC] 11-Dec-75 CONCEPTS DEFINED RELATIVE TO A THEORY
DEFINE[F75,JMC] 10-Oct-75 ASCRIPTIVE DEFINITIONS - just a fragment
GENERA[F75,JMC] 12-Oct-75 THE EPISTEMOLOGY OF GENERAL INTELLIGENCE
PHIL.ART[F75,JMC] 15-Oct-75 ascription, relative definition, etc.
CHESS.NOT[F75,JMC] 28-Nov-75 NOTES ON CHESS PROGRAMMING
MENTAL.SUP[F75,JMC] 03-Dec-75 More notes for MENTAL
MENTAL.NOT[F75,JMC] 21-Mar-76 more notes
SELFCO.MEN[F75,JMC] 01-Jan-76 More notes for MENTAL
WISEMA[F75,JMC] 03-Dec-75 ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
MOTIVA.MEN[F75,JMC] 08-Dec-75 ON MOTIVATIONAL STRUCTURES - ESPECIALLY HUMAN
moved to motiva[f81,jmc]
CELLUL.MEN[F75,JMC] 27-Dec-75 notes for MENTAL
AUTOMA[F75,JMC] 11-Dec-75 NOTES ON AUTOMATA AND ARTIFICIAL INTELLIGENCE
NOTE1.MEN[F75,JMC] 24-Jan-76 Non-positivist
FINITI[F75,JMC] 30-Dec-75 FINITIZATION OF THEORIES (A research topic)
CBCL[F75,JMC] 24-Jan-76 THE COMMON BUSINESS COMMUNICATION LANGUAGE
EPISTE.MEN[F75,JMC] 11-Jan-76
OBSERV.MEN[F75,JMC] 01-Jan-76 Draft of section
RELDEF.MEN[F75,JMC] 26-Dec-75 Probably incorporated in text
MOTIV.MEN[F75,JMC] 19-Apr-76 moved to MOTIVA[F81,JMC]
CONTEN.MEN[F75,JMC] 01-Jan-76 The original plan of the paper
NOTE.MEN[F75,JMC] 19-Feb-76 Probably not superseded by the paper
AI.MEN[F75,JMC] 07-Jan-76 Probably included in text
CHANGE.MEN[F75,JMC] 21-Apr-76 Probably included
TECHNI.MEN[F75,JMC] 10-Feb-76 TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
ECON.NOT[CUR,JMC] 01-Feb-75 What we need to know about economics
PHIL[CUR,JMC] 16-Feb-75 PHILOSOPHICAL PRINCIPLES OF ARTIFICIAL INTELLIGENCE
COMMON[CUR,JMC] 02-Jan-75 Common sense and computers
CHESS1[CUR,JMC] 05-Sep-74 Inference and observation
COMMON.MEN[ESS,JMC] 11-Jan-76 TOWARDS A SCIENCE OF COMMON SENSE
AI2.ESS[ESS,JMC] 26-Mar-75 STRUCTURE OF THE AI PROBLEM
CODE.PRO[ESS,JMC] 17-Sep-74 encipherment scheme
SUPERW[E78,JMC] 17-Sep-78 SUPERWOLF - A TEST OF EVOLUTION
CHERNI.RV1[F78,JMC] THE ROSENBLOOM FALLACY
S1 -S1
WOOD[F77,JMC] 04-Dec-77 Notes on discussion with Lowell Wood
COMMAN.S1[W78,JMC] 28-Mar-78 NOTES ON THE COMMAND LANGUAGE FOR THE S-1
MACHIN[F75,JMC] 17-Dec-75 SOME PREJUDICES ON NEW MACHINE DESIGN
Miscellaneous -MISC
PEOPLE.DAT[PER,CSD] The department phone and address list
peopin[1,jmc] Folders in people file drawers
LIB.LST[1,jmc] Catalog of my library at Lab
iii[let,jmc] iii board of directors names and addresses
loser[w80,jmc] 19-mar-1980 WSJ on IRS making citizens do its data processing
TRAVEL.REQ[W77,JMC] 10-Mar-77 1977 trip travel plan
LIST[S76,JMC] 06-Jun-76 Wedding reception invitees
RICHAR[F77,JMC] 02-Nov-77 Issues concerning FOL
BLACKL.IST[F77,JMC] 05-Nov-77 Universities tolerating lecture disruption
and other bad guys
TASKS[E77,JMC] 28-Jul-77 Summer 1977 tasks
FOL.COM[W76,JMC] 17-Jan-76 Note about mods to FOL
PDP10[W76,JMC] 22-Jan-76 USE OF THE STANFORD AI LAB TIME SHARING SYSTEM
IBM[W76,JMC] 01-Mar-76 Computer profession's interest in IBM antitrust case
AICIRC.ABS[CUR,JMC] 07-Feb-75 EPISTEMOLOGY, FORMAL REASONING AND AI
SCIP[CUR,JMC] 19-Mar-75 Comments on SCIP report
ADFECT[ESS,JMC] 31-Mar-76 Def of "adfected"
ECHO.FAI[206,JMC] 05-JAN-71 FAIL exercise for echo
SAYING[1,JMC] 24-Oct-76 I am he, who is not afraid to look in the corners.
CRACK.ESS[ESS,JMC] 26-Mar-75 WISECRACKS
APHOR.AI[CUR,JMC] 29-Jan-75 A few aphorisms
FACTS[1,JMC] 27-Jun-78 Miscellaneous useful facts
QUOTES[1,JMC] 15-Oct-78 Some interesting quotations
error[w80,jmc] 8-Mar-80 Some common misused words
SERIAL[ESS,JMC] 06-Jan-76 Serial numbers of property and other facts
MONEY[ESS,JMC] 21-Mar-77 BALANCES IN JMC UNRESTRICTED ACCOUNTS March 21, 1977
NOTES[ESS,JMC] 11-Jul-78 Miscellaneous notes, dormitive power,
complexity of motivation, Schank's 14,
visualization
SQUISH.E[ESS,JMC] 04-May-78 How to squish mail
IMLFIX[ESS,JMC] 16-Jan-77 apparently when system forgets tty15
NAMES[ESS,JMC] 29-May-73 names and addresses and phones
PUZZ.DDG[ESS,JMC] 19-Oct-75 Solution to random puzzle
LIVERM.F4[ESS,JMC] 07-Dec-76 Fortran program used to test T.S speed
REGIST[ESS,JMC] 29-Aug-73 1973 ijcai registrants
AAAS.PRO[ESS,JMC] 02-Oct-74 Proposal for AAAS symposium on cars
TRIP.E78[E78,JMC] 30-Jul-78 schedule for round world trip
COLDES[E78,JMC] 31-Jul-78 notes on Coldest Winter in Peking
TOUR[S78,JMC] 14-Jun-78 description of offered lectures
TRIP[E78,JMC] 02-Aug-78 Round the world in 1978
MTCPUB.PUB[LET,JMC] 14-Jan-79 Additional pub definitions for MTC and Lisp
MEMO[E78,JMC] 30-Jul-78 A version of memo.pub[let,jmc]
TASKS[E78,JMC] 14-Sep-78 September 1978 tasks
ASIA[E78,JMC] 15-Sep-78 Asia Summer School on Artificial Intelligence
TRIP.REP[E78,JMC] 18-Sep-78 COMPUTER SCIENCE IN THE FAR EAST
CHORES[LET,JMC] 07-Dec-78 Chores for helper (not found)
TRIP[LET,JMC] 07-Dec-78 Checklist for trips (not found)
SKI[LET,JMC] 10-Dec-78 Checklist for ski trips (not found)
PERIOD[LET,JMC] 12-Dec-78 Periodical subscriptions (not found)
INFO[LET,JMC] 30-Dec-78 Information file in 2nd drawer left cabinet home
ONEJMC[LET,JMC] 31-Dec-78 List of files that were in [1,jmc] (not found)
BILLS[LET,JMC] 27-Jan-79 Bills received and paid
MONEY[LET,JMC] 02-Feb-79 Checks received and deposited.
NOTES[LET,JMC] 10-Apr-79 Index to notes on paper in chrono file
ESTATE[F78,JMC] notes on Vera estate
INTRO[F78,JMC] ANNAPURNA TAPE DIARY
PHON1[F78,JMC] phones and addresses of Vera relatives
VERA[F78,JMC] remembrances
susie.wd[let,jmc] Diffie inventory of shed, Susie and Sarah stuff
john.wd[let,jmc] Diffie inventory of shed, John's stuff - not there
remark[e82,jmc] jmc remarks that may be useful
secure[1,jmc] material for personnel security forms
movies[1,jmc] movies seen and proposed to see
notebo[1,jmc] Contents of notebooks (started 1986 Aug)
hchron[1,jmc] Home chronological file (started 1986 Nov)
slide1.tex[1,jmc] tex file for 35mm slides
slide2.tex[1,jmc] tex file for overhead slides
locate[1,jmc] locations of objects in the house
Political action - ACTION
LERNER[S78,JMC] 31-May-78 Poster for Sonya Lerner talk
DEAL[E78,JMC] 16-Jun-77 A PROPOSAL TO TRADE A COMPUTER
FOR THE DISSIDENTS AND REFUSENIKS
PRESSU[W77,JMC] 29-Jan-77 A RATIONALE FOR MORAL PRESSURE ON THE SOVIET UNION
IJCAI.REP[F75,JMC] 15-Jul-78 Lerner in Tblisi
NLCPI[F76,JMC] 30-Nov-76 American technologist, prospects for technology
SCIENC[F76,JMC] 30-Nov-76 Notes on biases of Science magazine
KELDYS.LE1[ESS,JMC] 09-Jul-75 About lerner
POSTER[E78,JMC] 31-Jul-78 NUCLEAR AND OTHER HAZARDS
Slides for lectures -SLIDES
CIRCUM.SLI[S78,JMC] Slides for circumscription lecture
LISP2.SLI[S78,JMC] 26-May-78 Slides for LISP history lecture
LISP.SLI[W78,JMC] 10-Mar-78 Slide ideas of LISP history
IJCAI.SLI[E77,JMC] 17-Aug-77 Slides for IJCAI 1977
logic.sli[s86,jmc] Slides for DARPA lecture and Swedish lecture
Essays in Science and Technology -ESS
Most of these files were at S1 and have been retrieved, but those marked *
are not. They probably have to be retrieved from tape.
*ess.msg[ess,jmc] 1980-may-26 Messages for inclusion in technology essays
constr[ess,jmc] Reducing the costs of construction
TITLE.ESS[ESS,JMC]
anti.ess[ess,jmc] The anti-technological movement
CONTENT.ESS[ESS,JMC]
CHAP1.ART[ESS,JMC] r-apr-79 IN DEFENSE OF SCIENCE AND TECHNOLOGY
CHAP2.ART[ESS,JMC] r-apr-79 IS THERE ANYTHING USEFUL LEFT TO INVENT?
CHAP3.ART[ESS,JMC] r-apr-79 RESOURCES FOR THE FUTURE
INTRO2.ESS[ESS,JMC] R-apr-79 INTRODUCTION TO TECHNOLOGY DRAFTS
SUMMAR.ESS[W78,JMC] 21-Apr-78 WHAT CAN TECHNOLOGY BASED ON PRESENT SCIENCE
DO FOR THE AMERICAN MIDDLE CLASS
TECHNO.ESS[ESS,JMC] r-apr-79 NEW GOALS FOR TECHNOLOGY
TCLUB.ESS[ESS,JMC] r-apr-79 STANFORD TECHNOLOGY CLUB - A PROSPECTUS
STYLE.ESS[ESS,JMC] r-apr-79 TOWARDS AN INTELLECTUALLY HONEST STYLE
SOCIAL.ESS[ESS,JMC] r-apr-79 SOCIAL VIEWS - this one may be best
*PURPOS.ESS[E76,JMC] Human welfare is the ability to fulfill human
purposes.
*PREFAC.ESS[E76,JMC] 08-Aug-76 Social welfare is individual goal achievement
GOALS.ESS[S76,JMC] 26-Jun-76 Human goals - People live for a while and then
die.
GOAL.ESS[E76,JMC] 08-Aug-76 List of concrete goals like reducing housework
HISTOR.ESS[E76,JMC] 08-Aug-76 WHAT HAVE WE DONE WITH OUR TECHNOLOGY?
rich.ess[f86,jmc] How a rich society can live well
STANDA.ESS[ESS,JMC] 26-Mar-75 THE AMERICAN STANDARD OF LIVING history
POLIT.ESS[ESS,JMC] 26-Mar-75 ON POLITICS as menaces rather than opportunities
ISSUES.ESS[S76,JMC] 05-Jul-76 Some issues to face (just one now)
CONTR2.ESS[ESS,JMC] 26-Mar-75 TOWARDS A SOCIAL CONTRACT
CONTRA.ESS[ESS,JMC] 26-Mar-75 THERE SHOULD BE A SOCIAL CONTRACT
ENHANC.ESS[ESS,JMC] 26-Mar-75 THE ENHANCEMENT OF THE INDIVIDUAL
IDEOLO.ESS[ESS,JMC] 26-Mar-75 TECHNOLOGY AND IDEOLOGY - what about unscientific
social decisions
ECO.ESS[ESS,JMC] 26-Mar-75 WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
IRRATI.ESS[S78,JMC] 27-Jun-78 TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
INTRO.ESS[ESS,JMC] 21-Jan-78 TECHNOLOGY AND THE ENHANCEMENT OF MAN
BENEFI.ESS[ESS,JMC] 12-Feb-78 THE SOCIAL BENEFITS OF NEW TECHNOLOGY
BASIC.ESS[ESS,JMC] 10-Jun-74 BASIC SCIENCE AND BASIC TECHNOLOGY
TECIND.ESS[ESS,JMC] R-May-79 Proposal for research to enhance the individual
INDIV.ESS[ESS,JMC] 26-Mar-75 How technology has enhanced individuality
TWOMOD.ESS[ESS,JMC] 26-Mar-75 TWO MODELS OF POLITICAL ECONOMY - →LLL
EQUAL.ESS[ESS,JMC] 26-Mar-75 THE LIMITS OF EQUALITY
STAN.ESS[ESS,JMC] 26-Mar-75 THE GOALS OF THE UNIVERSITY
AND THE GOALS OF ITS INHABITANTS
ADHOM.ESS[ESS,JMC] 26-Mar-75 TECHNOLOGY AND IDEOLOGY - AD HOMINEM REMARKS
REMARK.ESS[ESS,JMC] 26-Mar-75 A few remarks, ad hominem
ECON.ESS[ESS,JMC] 26-Mar-75 SOME ECONOMIC PROPOSITIONS
CULTUR.ESS[ESS,JMC] 26-Mar-75 GRUMBLES ABOUT PRESENT AMERICAN STATE OF MIND
SHOCK.ESS[ESS,JMC] r-apr-79 FUTURE SHOCK
PLANE.ESS[ESS,JMC] r-apr-79 COMPUTER CONTROLLED AIRPLANES
OBJEC.ESS[ESS,JMC] r-apr-79 MATHEMATICS AND OBJECTIVITY IN HUMAN AFFAIRS
MONOP.ESS[ESS,JMC] r-apr-79 MONOPOLIES IN HOME COMPUTER SERVICES anti-cable
LONG.ESS[ESS,JMC] r-apr-79 LONG RANGE CONSIDERATIONS
WOMEN.ESS[ESS,JMC] R-apr-79 Technology and women's liberation
flexib.ess[ess,jmc] 20-jan-80 The importance of flexible technology
women2.ess[ess,jmc] 20-jan-80 Technology and women's liberation
(more about technology than sociology)
planni.ess[ess,jmc] 20-jan-80 The immorality of the public policy community
HOTER.ESS[ESS,JMC] r-apr-79 THE HOME INFORMATION TERMINAL
EARLID.ESS[ESS,JMC] r-apr-79 EARLIDS
DIG.ESS[ESS,JMC] r-apr-79 Proposal for research in remote tunneling
DELIV.ESS[ESS,JMC] r-apr-79 AUTOMATIC DELIVERY SYSTEM
ENERGY.ESS[ESS,JMC] R-Apr-79 FUTURE ENERGY REQUIREMENTS - A POSITION PAPER
ENERGY.PRO[ESS,JMC] R-Apr-79 1973 energy plan
MICRO.ESS[ESS,JMC] 26-Mar-75 REQUIREMENTS FOR A MICRO-ECONOMY
SPACE1.ESS[ESS,JMC] 26-Mar-75 SPACE AS A FRONTIER
CARDEF.ESS[ESS,JMC] 26-Mar-75 Hitchhiking Si! Car pooling No!
CRACK.ESS[ESS,JMC] 26-Mar-75 WISECRACKS
SLOGAN.ESS[ESS,JMC] 26-Mar-75 SLOGANS ABOUT TECHNOLOGY
SHORT.ESS[ESS,JMC] 26-Mar-75 SHORT REMARKS IN SUPPORT OF SLOGANS
GROWTH.ESS[ESS,JMC] 26-Mar-75 ON LIMITS TO GROWTH
UNDER.ESS[ESS,JMC] R-apr-79 U.S. RESPONSIBILITY FOR UNDERDEVELOPED COUNTRIES
INDIA.ESS[ESS,JMC] 26-Mar-75 WHAT IF INDIA DOESN'T MAKE IT
INDIA2.ESS[ESS,JMC] 26-Mar-75 WHAT IF INDIA DOESN'T MAKE IT
RACKET.ESS[ESS,JMC] 26-Mar-75 A SURVEY OF FEATHERBEDDING, ESPECIALLY WHITE COLLAR
PRODUC.ESS[ESS,JMC] 04-May-78 TECHNOLOGY FOR IMPROVING PRODUCTIVITY
BLACKH[S77,JMC] 22-May-77 BLACK HOLE ROCKET SHIPS
GALAXY[S77,JMC] 29-May-78 INTERSTELLAR TRAVEL WITH 20TH CENTURY TECHNOLOGY
POLITI.ESS[F76,JMC] 03-Nov-76 "CAN TECHNOLOGY IMPROVE POLITICS?"
PRISPA.ESS[ESS,JMC] 26-Mar-75 THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
POLICE.ESS[ESS,JMC] 26-Mar-75 THE POLICE AS GLADIATORS
CAR.ESS[ESS,JMC] 08-May-75 COMPUTER CONTROLLED CARS
STAN2.ESS[ESS,JMC] 26-Mar-75 MAKING STANFORD A BETTER PLACE TO LIVE
MINSKY[ESS,JMC] 26-Feb-76 Encouragement of view on cars
HOTER.PUB[ESS,JMC] 09-Mar-73 THE HOME INFORMATION TERMINAL - old version
CAR2.ESS[ESS,JMC] 26-Mar-75 IN DEFENSE OF THE AUTOMOBILE
AAAS[ESS,JMC] 28-Mar-73 ideas for AAAS symposium
AI.ESS[ESS,JMC] THE PRESENT SCIENTIFIC SITUATION IN ARTIFICIAL
INTELLIGENCE
SPORT.ESS[ESS,JMC] 26-Mar-75 A NEW SPORT - flying in a vertical wind tunnel
CRIME.ESS[ESS,JMC] 26-Mar-75 TECHNOLOGY, CRIME, AND CIVIL LIBERTIES
HOUSE.ESS[ESS,JMC] 26-Mar-75 FURTHER MECHANIZATION OF HOUSEWORK
TOPIC.ESS[ESS,JMC] 26-Mar-75 Notes for small essays.
HOW.ESS[ESS,JMC] 04-May-78 HOW ARE ALL THESE GOOD THINGS TO COME ABOUT?
DBACOM.ESS[ESS,JMC] 26-Mar-75 Reply to Bruce Anderson comments on essays
DISAPP[E78,JMC] 01-Aug-78 Disappointment with rate technological progress
INVENT[E78,JMC] 01-Aug-78 minor inventions
CHICAR.ESS[ESS,JMC] r-apr-79 THE CHINESE CAN SO HAVE CARS r-apr-79 ECON.ESS[ESS,JMC]
ALL[ESS,JMC] 21-Apr-73 list of files - some don't exist
ESS.ESS[ESS,JMC] 26-Mar-75 ESSAYS IN PROCESS
excess.ess[s83,jmc] Excessive expectations about society
statis[ess,jmc] Statistics are important
fly.ess[ess,jmc] Personal flying machines
artifi.ess[ess,jmc] Artificial Intelligence
notes.ess[ess,jmc] Notes for essays
medica.ess[ess,jmc] Improving the human
unempl.ess[ess,jmc] notes on unemployment collected
space2.ess[ess,jmc] Spring 1983 try on space essay
object.ess[ess,jmc] Mathematical objectivity and the right of initiative
robot.ess[ess,jmc] Household robots (1988 jan)
CONTEN.TEX[ESS,JMC] Technology and the Enhancement of Man
INTRO2.TEX[ESS,JMC] Introduction to Technology Drafts
CHAP1.TEX[ESS,JMC] In Defense of Science and Technology
CHAP2.TEX[ESS,JMC] Is There Anything Useful Left to Invent?
CHAP3.TEX[ESS,JMC] Resources for the Future
BASIC.TEX[ESS,JMC] Basic Science and Basic Technology
CAR.TEX[ESS,JMC] Computer Controlled Cars
CHICAR.TEX[ESS,JMC] The Chinese Can so Have Cars
ECON.TEX[ESS,JMC] Some Economic Propositions
EDUCAT.TEX[ESS,JMC] Notes on Education
ENERGY.TEX[ESS,JMC] Future Energy Requirements---A Position Paper
CRIME.TEX[ESS,JMC] Technology, Crime, and Civil Liberties
DELIV.TEX[ESS,JMC] Automatic Delivery System
DIG.TEX[ESS,JMC] Research Applied to National Needs
EARLID.TEX[ESS,JMC] Earlids
HOTER.TEX[ESS,JMC] The Home Information Terminal
HOUSE.TEX[ESS,JMC] Further Mechanization of Housework
HOW.TEX[ESS,JMC] How Are All These Things to Come About?
INTRO.TEX[ESS,JMC] Technology and the Enhancement of Man
LONG.TEX[ESS,JMC] Long Range Considerations
MONOP.TEX[ESS,JMC] Monopolies in Home Computer Service
OBJEC.TEX[ESS,JMC] Mathematics and Objectivity in Human Affairs
PLANE.TEX[ESS,JMC] Computer Controlled Airplanes
SHOCK.TEX[ESS,JMC] Future Shock
SHORT.TEX[ESS,JMC] Short Remarks in Support of Slogans
SOCIAL.TEX[ESS,JMC] Social Views
SPACE.TEX[ESS,JMC] Comments on the Space Program
STYLE.TEX[ESS,JMC] Towards an Intellectually Honest Style
TCLUB.TEX[ESS,JMC] Stanford Technology Club - A Prospectus
TECHNO.TEX[ESS,JMC] New Goals for Technology
TECIND.TEX[ESS,JMC] Technology and the Individual
UNDER.TEX[ESS,JMC] U.S. Responsibility for the Underdeveloped Countries
WOMEN.TEX[ESS,JMC] Technology and Women's Liberation
ENERGY.PRO[ESS,JMC] Some Propositions on the Energy Crisis
CS226 -CS226
LECTUR.F9[W78,JMC] 09-Feb-78 Notes for CS 226 lecture
MONBAN[W78,JMC] 19-Feb-78 Vaughan Pratt version of Monkey and Bananas
NOTES.226[F75,JMC] 08-Jan-76 Notes on CS226 - 1st two lectures
BLOCKS.226[F75,JMC] 07-Jan-76 PROBLEMS WITH THE BLOCKS WORLD
collaboration of robots in construction;
doesn't say anything about blocks
CATALO[S78,JMC] 28-Apr-78 New catalog descriptions of my courses
PLAN.226[E78,JMC] 29-Jul-78 Plans for teaching CS226
puzzle[w78,jmc]
blocks.not[w78,jmc]
blocks[e80,jmc]
See also epistemology papers page 35
plan.226[e78,jmc]/2p Blocks is key initial topic
DRAFTS -DRAFTS
IJCAI.A[E77,JMC] 23-Jun-77 Early draft 1977 IJCAI
IJCAI.F[E77,JMC] 26-Jun-77 Draft of 1977 IJCAI paper
IJCAI.E[E77,JMC] 24-Jun-77 Draft material for 1977 IJCAI
IJCAI.G[E77,JMC] 30-Jun-77 Notes for 1977 IJCAI
MODEL.PUB[S77,JMC] 09-Aug-77 Intro to paper with Sato, et. al.
Other people's papers -OTHERS
LISP2[E77,JMC] 01-Jul-77 Pratt's article on LISP
LSPLUG.PUB[W77,JMC] 17-Jan-77 Vaughan Pratt plug for LISP
CGOLMA[W77,JMC] 10-Feb-77 CGOL manual
MODPRO.PRA[W77,JMC] 06-Feb-77 Pratt proposal for dynamic logic proof checker
OBVIOU[W76,JMC] 26-Jan-76 Richard on what's obvious in set theory
ITER[ESS,JMC] 27-Mar-77 Iteration in LISP - Probably Pratt proposal
stoyan[let,jmc] Stoyan comments on LISP history
nuclear -NUCLEA
MISTAK[E77,JMC] 04-Aug-77 YOU ARE MAKING A MISTAKE
OPTION[E77,JMC] 03-Aug-77 Other people's energy options
News stories -NS
ELECTR.NS[W77,JMC] 03-May-77 Electronic mail
MAIL.NS[W77,JMC] 28-Jan-77 Electronic mail
VIETNA.NS[W77,JMC] 28-Jan-77 refugees
POSTAL.NS[W77,JMC] 29-Mar-77 Future of Post Office
MAIL.NS[E76,JMC] 06-Aug-76 Electronic mail
STANFO.NS[E76,JMC] 08-Aug-76 Parapsychology and fraudulent bankruptcy
MAIL.NS[S76,JMC] 19-Jun-76 Electronic mail
TENZIN.1[ESS,JMC] 16-Feb-76
PERSEP.NS[206,JMC] 16-APR-77
CAMBOD.NS[206,JMC] 16-APR-77
DISINF.NS[ESS,JMC] 14-May-78 disinformation
NEPAL.NS[ESS,JMC] 07-Aug-76 Perhaps they'll want these later
FREEWA.NS[ESS,JMC] 25-Nov-77 China will build freeways
KITT.NS[ESS,JMC] 22-Oct-76 Cousin Gilbert
PACKAR.NS[ESS,JMC] 11-Nov-76 Committee on the present danger
COMPUT.NS[ESS,JMC] 09-Nov-77 Home computers
VIETNA.NS[ESS,JMC] 11-May-78 About refugees mostly
WORKER.NS[ESS,JMC] 29-Dec-77 Soviet free trade union
NUCLEA.NS[ESS,JMC] 08-Feb-78 INSIDE REPORT: Jerry's Next Vietnam
ANTISC.NS[ESS,JMC] 12-Feb-78 Rowan believes that arms race starts with scientists
LEGAL.NS[ESS,JMC] 12-Feb-78 NLCPI and friends
BIONIC.NS[ESS,JMC] 29-Mar-78 Proxmire attack on walking robot
SUN.NS[ESS,JMC] 16-Apr-78 Sun Day
xSUNDAY.NS[ESS,JMC] 02-May-78 Sun Day - government drivel
BUDGET.NS[ESS,JMC] 13-Sep-77
FACE.NS[ESS,JMC] 15-Sep-77 facts about face lifts - for Vera
VIET.NS[E78,JMC] 01-Aug-78 About outfit that supplies boats
ANNAPU.NS[E78,JMC] 13-Sep-78 News stories
AI Lab -LAB
DATADI[E76,JMC] 27-Jul-76 PRIORITY SYSTEM FOR DATA DISC CHANNELS
UTILI.AIL[F75,JMC] 06-Jan-76 SOME PROGRAMMING TASKS
POLICY.AIL[ESS,JMC] 19-Sep-71 PROPOSED PERSONNEL POLICY FOR THE STANFORD
ARTIFICIAL INTELLIGENCE LAB
AILAB.AIL[ESS,JMC] 15-Feb-72 Catalog description of the Lab
AD.NET[ESS,JMC] 14-May-72 Descripition of Lab for Network Handbook
AILAB.BLA[ESS,JMC] 16-Dec-75 old version, I hope
Problem solving -PROBLE
PRBSLV.TXT[1,LDC] Creary problem solver proposal
For deletion -del
Research problems for students -TOPIC
WADLER[W76,JMC] 12-Apr-76 Comments and suggested research
MINIMA[F75,JMC] 31-Dec-75 MINIMAL MODELS (research topic)
THESIS[F75,JMC] 31-Jul-78 NOTES ON RESEARCH TOPICS, ESPECIALLY FOR THESES
UTILI.AIL[F75,JMC] 06-Jan-76 SOME PROGRAMMING TASKS
BLOCKS.226[F75,JMC] 07-Jan-76 PROBLEMS WITH THE BLOCKS WORLD
TECHNI.MEN[F75,JMC] 10-Feb-76 TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
AJT.MEM[ESS,JMC] 15-Feb-72 AI and psychological experiments **
QUERY[E78,JMC] 23-Jul-78 Research questions, not for theses. Ask experts.
COREWA[S77,JMC] 13-Jun-77 CORE WAR
Patterns -pat
PATTER.2[F75,JMC] 10-Mar-78 WHAT IS A PATTERN?
PATTER.AI[F75,JMC] 10-Mar-78 WHAT IS A PATTERN? updated july 1980
PATTER[F77,JMC] 10-Mar-78 PATTERN DIRECTED COMPUTATION AND PROBLEM SOLVING
MATCH.LSP[F76,JMC] 08-Nov-76 INST followed by assignments to vars in pattern
PATTER.LSP[F77,JMC] 20-Nov-77 INST and SOLS
INST2.LSP[F76,JMC] 08-Nov-76 commutative and associative versions of INST
INST2.MLS[F76,JMC] 02-Dec-76 Commutative and associative INST
INST2.PUB[F76,JMC] 07-Dec-76 Commutative and associative; just the bb program
INST3.LSP[F76,JMC] 27-Dec-76 INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76 instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76 just a start on problem solver
PATTER[S78,JMC] 23-Apr-78 Patterns in sequence solitaire
PATTER.NOT[W78,JMC] 26-Mar-78 notes for patterns in logic paper
Space -space
CYCLOP[F75,JMC] 17-Nov-75 Interstellar communication and migration
TABLE[F75,JMC] 19-Nov-75 s(light years) p(watts/kg) Tcont(years) T1(years)
INTERS[F75,JMC] 13-May-77 THE FEASIBILITY OF INTERSTELLAR TRAVEL
SPACE1.ESS[ESS,JMC] 26-Mar-75 SPACE AS A FRONTIER
EASTRO.ART[ESS,JMC] 29-Oct-75 THE FEASIBILITY OF INTERSTELLAR TRAVEL
PRISPA.ESS[ESS,JMC] 26-Mar-75 THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
SPACE[S78,JMC] 29-May-78 List of proposed articles on space
PUB,JMC An area devoted in the mid 1970s to publicly available files
CONTEN.[PUB,JMC] prospectus for McCarthy's electric magazine
WEIZEN.1[PUB,JMC] Ben Kuipers's favorable remarks about Weizenbaum
HOTER.BAY[PUB,JMC] PROSPECTUS FOR THE BAY AREA HOME TERMINAL CLUB
WEIZEN.REP[PUB,JMC] REPLY TO WEIZENBAUM'S REPLY and CHALLENGE TO A DEBATE
HOTER.REC[PUB,JMC] Some comments on home terminal club
HOTER.OUT[PUB,JMC] reply to favorable comments
WEIZEN.LED[PUB,JMC] Lederberg review of Weizenbaum
HOTER.POX[PUB,JMC] Prospectus for home terminal club
HOTER.WD[PUB,JMC] Diffie comments on home terminal club prospectus
WEIZEN.REV[PUB,JMC] Review of Weizenbaum's book
HOTER.BGB[PUB,JMC] Baumgart comments on home terminal club prospectus
WEIZEN.ANS[PUB,JMC] Weizenbaum's reply to my review
References, bibliographies and lists of files -REF
AIPHIL[F77,JMC] 29-Dec-77 Names and references for study
QUOTES[ESS,JMC] 05-Jun-78 Revealing quotes from Ehrlich,Commoner, Train
REFERE[ESS,JMC] 15-Mar-76 ecoreferences: losers, also winners
REFERE.BIB[ESS,JMC] 27-May-77 References
HISREF[E78,JMC] 23-Jul-78 Historical references
PRUNE.DAT[ESS,JMC] 26-Mar-73 Includes some purged files
BIOJMC[1,JMC] My biography and bibliography
bio[1,jmc] Short biography for talks, etc.
energy.bio[w80,JMC] 3-Mar-80 Biography for SE2, etc.
QUOTES[F78,JMC] literary quotes **, probably moved to [1,jmc]
Epistemology -epist
NOT[F77,JMC]/2p 28-Nov-77 Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77 Epistemology of general problem solving
EXAMPL[W78,JMC] Circumscription applied to frame problem
BLOCKS.NOT[W78,JMC] 27-Jan-78 Notes on blocks axiomatizations
EPIST.NOT[E78,JMC] 29-Jul-78 General notes on epistemology
NOTES[ESS,JMC]/2p 11-Jul-78 Dormitive power
MENTAL.ADD[W77,JMC] 01-Aug-78 Addenda to Acribing Mental qualities to machines
EPISTE[E76,JMC] 13-Aug-76 EPISTEMOLOGICAL PROBLEMS OF COGNOLOGY
HAYES.COM[F78,JMC] Hayes's comments on CONCEP[s78,jmc]@15 April 1977
KNOW[F78,JMC] "Mike knows what Joan asserted", etc.
w79 files
CHEMEM[W79,JMC] Chemical Memories Storing a Register per Molecules
DENNET.2[W79,JMC] Comments on Dennett's %2True Believers:
The Intentional Strategy and Why it Works
ENERGY[W79,JMC] ENERGY AND IDEOLOGY
FEFERM[W79,JMC] Topics to raise with Feferman
FIRST[W79,JMC] RECURSIVE PROGRAMS AS FUNCTIONS IN A FIRST ORDER THEORY
FIRST.LEC[W79,JMC] NOTES FOR LECTURE ON PROVING PROPERTIES
OF RECURSIVE PROGRAMS
FIRST.NOT[W79,JMC] notes for revision of FIRST
GARDNE[W79,JMC] Anne Gardner's Notes Toward a Legal Reasoning Program
GOEDEL[W79,JMC] GOEDEL'S LEMMA AND APPLICATIONS IN FIRST ORDER LISP
HYPOCR[W79,JMC] ON THE USEFULNESS OF HYPOCRISY AND PRETENSE
IDAHO[W79,JMC] notes for Idaho lecture on AI
INDUCT.AX[W79,JMC] FOL axioms for transfinite and LISP induction
INTELL[W79,JMC] Programs for an intelligent system in Lisp
KNOCOM[W79,JMC] COMPUTATION WITH STATES OF KNOWLEDGE
KYOTO[W79,JMC] some notes on the minimization schema
MEMO.PUB[W79,JMC] a special version
MOORE[W79,JMC] Comments on R.C. Moore's thesis draft
MOSZ.LSP[W79,JMC] recursion counter for Takeuchi function
NOTES.258[W79,JMC] non-termination of certain functions
ORDER.PRB[W79,JMC] Proving facts about programs that order ordinals
PROBLE.258[W79,JMC] CS258←PROBLEM SET→WINTER 1979
QUOTES[W79,JMC] Revealing quotes by ecovandals, Lovins,Ehrlich,Train
RATION[W79,JMC] RATIONALITY IN HUMAN LIFE
RENEW.PRO[W79,JMC] basic research in AI renewal proposal
RISKER[W79,JMC] THE RISKER
SECOND[W79,JMC] ON THE APPLICATIONS OF SECOND ORDER LOGIC TO AI AND MTC
SLOMAN[W79,JMC] comments on Sloman's "Computer Revolution in Philosophy"
SMITH[W79,JMC] ANTICHRIST, OR THE REUNION OF CHRISTENDOM: AN ODE
SOLITA.LSP[W79,JMC] lisp solitaire functions
SOLITA.NOT[W79,JMC] A few solitaire notes
TREE[W79,JMC] conversation with Creary - Dec. 17 1979
Spring 79 files
AIQUAL[S79,JMC] Comments an AI qual syllabus
ARPA[S79,JMC] report
CBCL.PRO[S79,JMC] Common Business and Military Computer Communication
Language
CELLUL[S79,JMC] making Fredkin's physics relativistically invariant
CIRCUM.NEW[S79,JMC] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CIRCUM.TEX[s79,jmc] TeX VERSION OF ABOVE
CONSTR.ESS[S79,JMC] THE COST OF CONSTRUCTION
ELEPHA[S79,JMC] THE PROGRAMMING LANGUAGE ELEPHANT
ELEPHA.NOT[S79,JMC] .cb THE PROGRAMMING LANGUAGE ELEPHANT old draft
ELEPHA.OLD[S79,JMC] .cb THE PROGRAMMING LANGUAGE ELEPHANT
ENERGY[S79,JMC] THE TRUTH ABOUT ENERGY
ENERGY.2[S79,JMC] THE CASE FOR ENERGY COMPLACENCY OR APATHY
EPISTE[S79,JMC] APPROACHING EPISTEMOLOGY FROM ARTIFICIAL INTELLIGENCE
EQUIV.AX[S79,JMC] Axioms to prove existence of set of equivalence classes
EQUIV.MEM[S79,JMC] A SIMPLE SET THEORY PROOF IN FOL
EQUIV.PRF[S79,JMC] existence of set of equivalence classes
EQUIV.TEX[S79,JMC] a simple set theory proof in FOL
FILES.PRO[S79,JMC] Describing other People's Files
GAS[S79,JMC] STATEMENT ON THE GASOLINE SHORTAGE
HIGHER[S79,JMC] on higher level programming or specification languages
KK[S79,JMC] Ma's Mr. S and Mr. P, Ma Xiwen
KK.PRF[S79,JMC] Ma's FOL proof of Mr. S and Mr. P
LIBRAR[S79,JMC] A PROPOSAL FOR A COMPUTERIZED LIBRARY
LISP.AX[S79,JMC] lisp axioms from clt?
LISP.DEC[S79,JMC] declarations for lisp axioms from clt?
LISP.LOR[S79,JMC] dumping lisp variables in files
MARGAR[S79,JMC] memorial remarks on Margaret Young
MEDICI.ESS[S79,JMC] MEDICINE
META[S79,JMC] A PROGRAMME FOR META-EPISTEMOLOGY
MINIMA.OLD[S79,JMC] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
NOTES.ESS[S79,JMC] notes for improving EDUCATION, STYLE and reprint old TS
PROLEG[S79,JMC] PROLEGOMENA TO A SCIENTIFIC THEORY OF COMMON SENSE
SOLIT.LSP[S79,JMC] some solitaire functions
SOLIT.NOT[S79,JMC] notes for improving solitaire program
TESTIM[S79,JMC] testimony on Soviet mail holdups
WILKIN[S79,JMC] Comments on draft of Wilkins's thesis
e79 files
F F83M[E79,JMC] EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
EQUALI[E79,JMC] Discussion of equality for lisp book
IBM[E79,JMC] various notes from summer 79
INVENT[E79,JMC] %3INVENTORY OF PROFESSIONAL INTERESTS%1 McCarthy
ONTOLO[E79,JMC] The Ontology of Artificial Intelligence
PROVIN[E79,JMC] Proving Properties of Computer Programs - for book
PROVIN.REV[E79,JMC] Proposed revision of chapter PROVIN
PYLYSH[E79,JMC] Pylyshyn quixotic
REMARK[E79,JMC] remarks suggested by circumscription but not about it
SEARLE.RE1[E79,JMC] %3Notes on Searle's "Notes on artificial intelligence"%1
WASTE.ENE[E79,JMC] STORAGE OF WASTE FROM NUCLEAR PLANTS - draft ad
Fall 79 files
ABILIT[F79,JMC] Comments on Dennett's The Abilities of Men and Machines
CIRCUM.AB2[F79,JMC] FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ABS[F79,JMC] notes for FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ADD[F79,JMC] ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
FORMALISMS"
CIRCUM.NOT[F79,JMC] minimizing non-monotonic reasoning
DENNET[F79,JMC] Comments on %2Brainstorms%1.
DISCUS[F79,JMC] Small Intentional Systems - JMC - Dec 19, 1979
ENERGY[F79,JMC] Energy and ideology - Teller meeting oct 11
IDEOLO[F79,JMC] not a polemic - an attempt at understanding ideology
INTENT.F79[F79,JMC] Remarks on intentions (triggered by Searle manuscript
ISRAEL.SPE[F79,JMC] THE REAL COMPUTER REVOLUTION
ISSUES.F79[F79,JMC] Issues to be discussed in group, possibly in panels
LOCKE[F79,JMC] LOCKE - NOTES ON SOME UNFINISHED BUSINESS
PHILIS[F79,JMC] IN PRAISE OF PHILISTINISM
MCCRAC.F79[F79,JMC] draft of letter re mccracen editorial
MEANIN.F79[F79,JMC] Concepts Meaningful in Approximate Theories
PRBSLV.COM[F79,JMC] Comments on a Creary draft
PUTNAM.F79[F79,JMC] Comments on Putnam's "Computational Psychology
and Interpretation Theory
PYLYSH.F79[F79,JMC] Comments on Pylyshyn's "Computation and cognition:
Issues in the foundations of cognitive science".
QUANTU.F79[F79,JMC] notes on foundations of quantum mechanics
VISION[F79,JMC] what can we really do in vision
W80 files
AAAS[W80,JMC] short list of fools and non fools
ABOUT[W80,JMC] Knowing about
ACM.SPE[W80,JMC] Transcript of ACM lecture.
ADVICE[W80,JMC] plan for Advice Taker Project
AI[W80,JMC] notes for lectures on AI and philosophy
ANDERS.NS[W80,JMC] Anderson's standard speech
APPROX[W80,JMC] Notes on Approximate Theories
BAKER.NS[W80,JMC] Baker's standard speech
BARWIS[W80,JMC] contains comments on Barwise's lecture and notes
BEYOND[W80,JMC] Comments on Dennett's "Beyond Belief"
BODY[W80,JMC] Bodies of knowledge
BUSH.NS[W80,JMC] Bush's standard speech
CAMPBE[W80,JMC] Notes on %2Descriptive Epistemology: Psychological,
Sociological, and Evolutionary%1
by Donald T. Campbell
CAUSE[W80,JMC] CAUSALITY IN SYSTEMS OF INTERACTING AUTOMATA
CHALLE[W80,JMC] Challenges to weak AI, especially to Schankian AI
CIRCUM.REP[W80,JMC] REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC] Circumscription: A Form of non-Monotonic Reasoning
CONAES[W80,JMC] Questions on the CONAES report
CONNAL.NS[W80,JMC] Connally's standard speech
COUNTE[W80,JMC] CARTESIAN COUNTERFACTUALS
CREARY[W80,JMC] conversations with Creary
DISPLA[W80,JMC] display supply conversations
DISSEN[W80,JMC] Dissenting opinions (mine)
DOYLE[W80,JMC] comments on Doyle's Stanford lecture
ELEPH2[W80,JMC] elephant notes
ENERGY.BIO[W80,JMC] biography for energy lectures
ERROR[W80,JMC] some common misused words
FEYERA[W80,JMC] for the philosophical lexicon
FRAME[W80,JMC] THE FRAME PROBLEM IN THE 1980s
HOOK[W80,JMC] A SKYHOOK SUPPORTED BY ORBITING PARTICLES
HOOK.M[W80,JMC] A SKYHOOK SUPPORTED BY ORBITING PARTICLES
IDEAS.W80[W80,JMC] Scenes a la Barwise
People aren't like the victims in Disney cartoons
Advice Taker should begin with declarative formalism
AIphil discussion on individual ascriptions
of mental qualities
anthroplogists overaccept primitive ideas - superstition
differential equations
Circumscription and intensionality
Going down
Can we put all these ai declarative ideas together?
wants(Karla, hasaffair(Bill, wife George))
is presumably unambiguous
Stronger notion of causality
ISRAEL.SPE[W80,JMC] Speech at IBM symposium in Haifa
JOINT[W80,JMC] JOINT KNOWLEDGE
KENNED.NS[W80,JMC] Kennedy's standard speech
LOSER[W80,JMC] IRS demands that banks keep records IRS loses
LYSENK[W80,JMC] Lysenkoism in Energy Research
META[W80,JMC] Metaphilosophy
MINSKY.SE1[W80,JMC] Minsky on Searle
NAMING[W80,JMC] AI and "Naming, Necessity and Natural Kinds"
OFFICE[W80,JMC] CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OFFICE.2[W80,JMC] CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OPPORT[W80,JMC] Social effects of keeping publications in the computer
POSH.NS[W80,JMC] top hotels and restaurants
PROBLE[W80,JMC] Bill wants to have an affair with Tom's wife
REAGAN.NS[W80,JMC] Reagan's standard speech
RENEW.PRO[W80,JMC] renewal of nsf proposal
ROMANT[W80,JMC] Pro-technology must appeal to the imagination
SE2[W80,JMC] notes on SE2 affairs
SEARLE[W80,JMC] short and sweet Searle refutation
SEARLE.1[W80,JMC] notes on Searle
SEARLE.2[W80,JMC] Comments on Searle's "Minds, Brains and Programs"
SECRET.NS[W80,JMC] News stories that wrongly reveal secrets
SEX[W80,JMC] Comments on Evolution of Human Sexuality
SOCIAL[W80,JMC] SOCIAL SCIENCE IS VERY COMPLICATED
STANDA[W80,JMC] TARGETS FOR STANDARDIZATION
TALK[W80,JMC] notes for CASBS on computerization
TALK1[W80,JMC] SOCIAL OPPORTUNITIES FROM COMPUTER TECHNOLOGY
TECSOC[W80,JMC] SOCIETAL ATTITUDES TO TECHNOLOGY - for ACM
Spring 1980 files
ANNOUN[S80,JMC] announcement of
TWO LECTURES ON FORMALIZED NON-MONOTONIC REASONING
AP.NS[S80,JMC] AP story on Compuserve
ARPA.REP[S80,JMC] FISCAL YEAR 80 ACCOMPLISHMENTS AND FISCAL YEAR 81 PLANS
CASBS[S80,JMC] report on AI and philosophy group
CHICAG.NS[S80,JMC] news stories on Chicago meeting
CIRCUM.MOR[S80,JMC] draft of supplementary paper on circumscription
CLOSED[S80,JMC] how to do closed world assumption in ordinary logic
CONCUR[S80,JMC] Formalization of concurrent events
CONSER[S80,JMC] notes for severe conservation paper
CONSER.tex[S80,JMC] severe conservation paper
CONTEN[S80,JMC] Comments on Dennett's "Content and Consciousness"
CS206.ABS[S80,JMC] description of cs206 with some commitments
DOYLE[S80,JMC] short comment on Doyle's thesis
DOYLE.2[S80,JMC] proposal to ARPA on Doyle's work
DOYLE.DOC[S80,JMC] proposal to ARPA on Doyle's work for network sending
DOYLE.PRO[S80,JMC] pub source of Doyle proposal
ELEPHA[S80,JMC] spring 1980 form of elephant paper
ELEPHA.2[S80,JMC] notes on elephant
EXTREM[S80,JMC] draft material on extreme conservation
GRADES[S80,JMC] GRADE SCHOOL GRAMMAR AS AN AI LANGUAGE
IDEAS[S80,JMC] Language of common sense
Generate and test
de re belief attributions
Queries and Conjectures in Economics
INDOOR[S80,JMC] draft letter to se2 proposing lawsuit on insulation
INDOOR.NS[S80,JMC] report of EPA findings on dangers of insulation
JAY.NS[S80,JMC] politicization as an American energy sink
KETONE[S80,JMC] Comments on Ketonen's proposal for a proof checker
MEMO.PUB[S80,JMC] special form for some paper
NATURA[S80,JMC] Natural Kinds
NS.NS[S80,JMC] about news services being offered
ONTOLO[S80,JMC] THE CASE FOR ONTOLOGICAL ENRICHMENT
PETITI[S80,JMC] PETITION TO MR. RAMSEY CLARK
PIAGET[S80,JMC] Margaret Boden's %2Jean Piaget%1, Viking Press 1980
PRODUC[S80,JMC] PRODUCTION IS THE SOLUTION TO THE ENERGY CRISIS
PRODUC.2[S80,JMC] THE SOLUTION TO THE ENERGY CRISIS IS TO PRODUCE ENERGY
REACT.SE2[S80,JMC] SOME REACTIONS TO THE SE2 CONFERENCE - 6/80
REAGAN[S80,JMC] proposing an energy position paper to Reagan
REIFY[S80,JMC] On Reification
REPORT[S80,JMC] ARPA report
SENSES[S80,JMC] DISCUSSION WITH BOB MOORE (RCM) APRIL 21, 1980
TELEMA.NS[S80,JMC] French terminal plans
TERMIN.NS[S80,JMC] Terminal experiments
TIME.HIS[S80,JMC] 1959 Memo to Morse on time sharing,timesharing
UNDERS[S80,JMC] UNDERSTANDING
YERGIN.NS[S80,JMC] Harvard conf. urges conservation for cutoff contingency
Summer 1980 files
blocks.[e80,jmc] Base cs226 on blocks world
BLOCKS.DMP[E80,JMC] fol core image for blocks proof
CAR.NS[E80,JMC] about used cars
cltcom.lsp[e80,jmc] examples for compiling from multiple output form to LISP
COMMON.[E80,JMC] Programs with Common Sense
COMMON.TEX[E80,JMC] TeX version of above
cyclic[e80,jmc] Induction principle for cyclic list structures
cyclic.lsp[e80,jmc] functions for computing with cyclic list structures
DINNAN.NS[E80,JMC] Professor jailed for refusing to tell how he voted.
DUBINI.NS[E80,JMC] Soviet Geneticist Says Experiments
Endanger Marxist Ideology
EKL.REM[E80,JMC] Comments on Ketonen's EKL
EMIGRA.[E80,JMC] BIOLOGICAL ADVANTAGES OF TERRITORIALITY AND EMIGRATION
FREEDO.[E80,JMC] the survival of freedom - for Jerry Pournelle
FUSION.[E80,JMC] on the U.S. Labor Party and Fusion Magazine
GIANI.[E80,JMC] notes on formalizing the opera plot
GIANT.[E80,JMC] items for giant file proposal
GRIM[e80,jmc] some grim and unpleasant facts
grumbl.[e80,jmc] Circumscription is semi-decidable: bobrow preface
HIROSH.NS[E80,JMC] Reminiscences if Tinian at war's end
HOLE.[E80,JMC] Dynamic Casing for Hole through the Center of the Earth
IDEAS.[E80,JMC] Research needed on invention needs
INSUL.NS[E80,JMC] Two news stories on dangers of over-insulation
LAMBDA.LSP[E80,JMC] Lambda calculus interpreter
LISP.[E80,JMC] address for lisp conference
LISP.2[E80,JMC] notes for address for lisp conference
MACRO.LSP[E80,JMC] if macro and macdef macro
MATCH.LSP[E80,JMC] Simplification rules using Gabriel matcher
MEMO.PUB[E80,JMC] special version for LISP conference address
MONOPO.[E80,JMC] natural monopoly in information storage
multi[e80,jmc] multiple output lisp functions - CLT and JMC variants
NISBET.[E80,JMC] Comments on Nisbett and Ross book on human inference
NS.NS[E80,JMC] electronic newspaper experiments
nsf[e80,jmc] 23-Aug-80 NSF proposal for basic research in AI (1980)
OCR.[E80,JMC] Memo to Selfridge advocating new OCR work
PATTER.LSP[E80,JMC] inst with catch-throw and as pseudo-predicate
PHILPA.[E80,JMC] McCarthy Papers on Philosophy and Artificial Intelligence
PLUTON.NS[E80,JMC] Raeburn story - misleading about plutonium
PRODUC.[E80,JMC] Office and bureaucratic productivity
REVAL.LSP[E80,JMC] The Italian eval from 1975 and comparisons.
ROYKO.NS[E80,JMC] Interview with Royko
SELFAP.LSP[E80,JMC] lisp expression whose value is itself
SEMINA.[E80,JMC] Knowledge and action seminar
SIGMA.[E80,JMC] SOCIAL CONSEQUENCES OF COMPUTER TECHNOLOGY-abstract
SOLAR.NS[E80,JMC] California solar puffery
TECH.NS[E80,JMC] Co-operative research university - industry
threen[e80,jmc] a chip for the 3n+1 function
threen.lsp[e80,jmc] 3n+1 function action as determined by k low order bits.
TOPRIN.[E80,JMC] Some philosophy and AI files
vague[e80,jmc] 23-aug-80 How to formalize vague concepts
WINE.NS[E80,JMC] some good wines
lit,jmc literary efforts and fragments
AIPHIL.SNG[LIT,JMC] WHAT NO VOLUME OF PROCEEDINGS?
ALGOL.SNG[LIT,JMC] ALGOL 68 (tune: It ain't me babe - Bob Dylan)
BDAY.LIT[LIT,JMC] LOGISTICS OF THE BIRTHDAY PARTY, JULY 4, 1976
BLOWIN.LIT[LIT,JMC] Blowin' by Felt Lake
CARGO.LIT[LIT,JMC] fragment of Cargo religion tract
CHRIST.[LIT,JMC] LETTER TO THE CHRISTIAN PHYSICISTS
couple[lit,jmc] extension of Samuel Johnson couplet
CREATI[lit,jmc] Creativity is as creativity does
DOCDIL.LIT[LIT,JMC] WHAT SHOULD THE DOCTOR DO?
GARDNE.SNG[LIT,JMC] Ballad of Gardner Lindzey
guide[lit,jmc] Guide for travellers
GLUGG.[LIT,JMC] My Life In The Savage Wild - by Susan McCarthy
GLUGG2.[LIT,JMC] Another version of glugg - by Susan McCarthy
GUILT.SNG[LIT,JMC] GUILT SONG - fragment
HEAVEN[LIT,JMC] notes on the bureaucracy of Heaven
HIPPO.SNG[LIT,JMC] THE HIPPOPOTAMUS SONG by Flanders and Swan
HOBBIT.2[LIT,JMC] 21 lines
HOBBIT.3[LIT,JMC] LETTERS FROM GONDOR - 76 lines
HOBBIT.4[LIT,JMC] Abridger's Preface - 107 lines
HOBBIT.5[LIT,JMC] The 1421s - or Not only in the Shire
HOBBIT.BIO[LIT,JMC] NOTABLE HOBBITS
HOBBIT.CRI[LIT,JMC] Kidding aside, Tolkien pushes some very
bad ideas in his writings.
HOBBIT.NOT[LIT,JMC] Notes for Hobbits in Gondor
HOBBIT.TRU[LIT,JMC] ON THE TEACHING OF THIRD AGE HISTORY
IN SHIRE SCHOOLS
hyper[lit,jmc] a speculation about our world being trans-sonic
IBM.SNG[LIT,JMC] We Belong to It
judgme[lit,jmc] Mathematics fiction story
LEGUIN.CRI[LIT,JMC] The Lathe Of Heaven by Ursula Le Guin, Avon 1971
MAO.[LIT,JMC] Hua's on first
PARADI.SNG[LIT,JMC] THE PARADIGMS THEY ARE A-CHANGIN' by Dan Dennett
and Bob Moore
PET.LIT[LIT,JMC] KEEPING HUMANS AS PETS
play[lit,jmc] Play about Free U suicide course
SABBAT.LIT[LIT,JMC] WHY ARE THERE THREE SABBATHS?
SAYING.[LIT,JMC] Sayings of jmc - fragment
SCIFI.CRI[LIT,JMC] SCIENCE FICTION AS PREDICTION
SLOAN.SNG[LIT,JMC] THE SLOAN RANGER'S LAMENT
THAIS.SNG[LIT,JMC] ALEXANDRIA
voyage[lit,jmc] An interstellar voyage plot
zarya[lit,jmc] Communism and Feudalism -The dukedom of Mr. Fong
Fall 1980 files
ABSTRA[F80,JMC] ABSTRACTS OF TALKS PROPOSED FOR KNOWLEDGE AND ACTION SEMINAR
buchan[f80,jmc] Comments on Buchanan's description of AI
ccf[f80,jmc] Computer facilities for CSD
coales.lsp[f80,jmc] program for coalescing list structures
coales[f80,jmc] specifying a program for coalescing list structures
commen[f80,jmc] Commentary on jmc papers on epistemological problems of ai
counte[f80,jmc] CARTESIAN COUNTERFACTUALS
electo[f80,jmc] Reviving the electoral college
ENERGY.FAC[F80,JMC] Facts about Diablo and San Onofre nuclear plants
energy.let[f80,jmc] letter soliciting signatures to statement
ENERGY.MIR[F80,JMC] draft with Miro changes
ENERGY.PA2[F80,JMC] another Panofsky instigated draft
ENERGY.PAN[F80,JMC] Panofsky instigated draft
energy.ref[f80,jmc] references on nuclear statement
energy.st1[f80,jmc] another draft
energy.st2[f80,jmc] a later draft than st1
ENERGY.STA[F80,JMC] perhaps the first draft of California energy statement
ENERGY.TEL[F80,JMC] draft with Teller changes
ENERGY.TEX[F80,JMC] another energy draft
ENERGY.[F80,JMC] Draft statement for SE2
EPISTE.[F80,JMC] NOTES ON EPISTEMOLOGICAL PROBLEMS OF AI
escape[f80,jmc] Escaping from fires - for human-nets
exper.[f80,jmc] "experience" as a vague concept
FILES.[F80,JMC]
GAME.LSP[F80,JMC] Modified game files
goodgu[f80,jmc] Good guys expressing proper sentiments
GOVT.[F80,JMC] People to be considered for science advisor
grades[f80,jmc] course grades
HUMANN.[F80,JMC] Ithiel Pool's reactions to Huma- nets
IDEAS.[F80,JMC] preview button, cryptanalyst's skills
INNOVA.2[F80,JMC] Some notes for INNOVA
INNOVA.[F80,JMC] DEFENDING AND EXTENDING THE FREEDOM TO INNOVATE - for
Pournelle collection The Survival of Freedom
INSULA.NS[F80,JMC] radon
LEFTOV.[F80,JMC] leftovers from letter to NYT
legion.[f80,jmc] the U.S. foreign legion
LISP.INI[F80,JMC]
MALIK.1[F80,JMC] Comments on Malik 206 project
MEMO.PUB[F80,JMC] modified version of memo.pub[let,jmc]
MICROW.NS[F80,JMC] microwave safety
mobili.[f80,jmc] Mobilization plan for data bases
nonmon[f80,jmc] Notes on non-monotonic reasoning
nrc[f80,jmc] Comments on Schwartz on AI for National Academy
odear[f80,jmc] Pournelle memo on space program
palind.2[f80,jmc] palindromic continued fraction defs for macsyma
palind[f80,jmc] palindromic continued fractions
PFLAME.[F80,JMC] Pournelle misinformation about LISP
PO.[F80,JMC] HOW DOES A CHILD CHANGE THE WORD "MOTHER"
FROM ONE ARGUMENT TO TWO?
PROJ.F80[F80,JMC] Possible 206 projects
PROOFS.[F80,JMC] Boyer-Moore on proofs about permutations
PROVE.[F80,JMC] Issues concerning proofs in CS206
QVSR.[F80,JMC] Q and K vs. R and K
RPLACA.[F80,JMC] Formalization of functions that change list structure
sequen.[f80,jmc] On sequence extrapolation as an AI problem
roofs and boxes
SIGMA.SPE[F80,JMC] transcript of Sigma Xi speech
SIGMA.[F80,JMC] SOCIAL CONSEQUENCES OF COMPUTER TECHNOLOGY - for Sigma xi
SLIDE.[F80,JMC] Slides for San Diego talk
SOCIAL.[F80,JMC] draft of paper for American Scientist
SPACE.[F80,JMC] Proposals for space exploration policy
STALLM.[F80,JMC] conversation with Stallman - collections of features
STUDEN.[F80,JMC] possibly interesting f80 students
THUROW.NS[F80,JMC]
TOPIC.[F80,JMC]
VANCOU.2[F80,JMC] SCRIBE version of Vancouver abstract
vancou[f80,jmc] abstract for Vancouver philosophy and ai meeting
VON.2[F80,JMC] Notes for book reviews
VON.[F80,JMC] Two book reviews, heims, heyms,Kline, Wiener, von Neumann
WILSON.NS[F80,JMC]
WRITER.NS[F80,JMC] writer's workbench
Winter 1981 files
AD.[W81,JMC] candidacy for faculty senate
advice[w81,jmc] notes on the advice taker paper
AIRPO2.AX[W81,JMC] Airport axioms involving rationality.
AIRPO4.AX[W81,JMC] Airport axioms with walkable etc. timeless
AIRPO5.AX[W81,JMC] Contains additional declarations and axioms
for reifying actions.
AIRPO6.[W81,JMC] prove should(I,prog(walk(car),drive(airport)),S0)
airpor.ax[w81,jmc] axioms for going to the airport
airpor[w81,jmc] the axiomatics of going to the airport
BAZ.LSP[W81,JMC] finding a path from x to y
BINFOR.REC[W81,JMC] replies received to letter about Binford
BINFOR.[W81,JMC] from Binford long form
circum.sli[w81,jmc] slides for circumscription lecture ** a bare beginning
CLASS.[W81,JMC] cs226, Winter 1981
closed[w81,jmc] closed world assumption, going down, etc.
commun[w81,jmc] practical and theoretical arguments against communism
compre[w81,jmc] comprehensive problem about binomial co-efficient
program and its correctness proof
cs226[w81,jmc] notes for the class
draft.ax[w81,jmc] drafts of possibly useful axioms
EXER2.TXT[W81,JMC] exercises for CS226
FOO.LSP[W81,JMC] random lisp functions
format[w81,jmc] Principles of text formatting languages like TEX, PUB, SCRIBE
frame.ax[w81,jmc] axioms for frames using assignment
HOTER.NS[W81,JMC] home terminals
ideas[w81,jmc] ambiguity tolerance
Groups resistant to criticism
keyboa.tex[w81,jmc] EFFECTIVE INTERACTIVE USE OF LARGE CHARACTER SETS}
KNOW.2[W81,JMC] Formalization of two puzzles involving knowledge
(still not the final version)
know[w81,jmc] original jmc knowledge axioms and version in FOL
konoli[w81,jmc] comments on Konolige's paper
langua[w81,jmc] epistemological approach to natural language
LASER.[W81,JMC] speculations about bomb powered lasers
LISP.INI[W81,JMC]
mathsc[w81,jmc] proposal for modifying the mathematical sciences major
miners[w81,jmc] miners in Donetsk
modal[w81,jmc] denigrating modal logic
nonmon[w81,jmc] notes for lecture to logic seminar 1981 feb 2
OR.AX[W81,JMC] comment |circumscription of a disjunction|
OR.PRF[W81,JMC] circumscription proof in FOL
passwo[w81,jmc] passwords for equipment
prev.lsp[w81,jmc] in place reverse of a list
QUESTI.[W81,JMC] draft questionnaire for non review
questi[w81,jmc] questionnaire about review of questionnaires
rawls[w81,jmc] notes on Rawls's "A Theory of Justice"
REITER.ABS[W81,JMC] Reiter talk
rp[w81,jmc] Notes on a reasoning program
sciadv[w81,jmc] Scientific Advice for the Reagan Administration
se2[w81,jmc] notes for SE2 business
space.2[w81,jmc] Comments on llw draft of transportation technology
space.tex[w81,jmc] Handout for Pournelle space conference
SPACE.[W81,JMC] Notes for Pournelle space conference
space[w81,jmc] ideas for Pournelle space conference
accomp[s81,jmc] JMC accomplishments for 1981 ARPA proposal
aiphil[s81,jmc] Impact of research in ai on philosophy
ANAL2.[S81,JMC] ANALYST
ANALYS[s81,jmc] Preliminary description of ANALYST
ARPA.PUB[S81,JMC] proposal boilerplate
arpa[s81,jmc] 1981 ARPA proposal material
CBCL.[S81,JMC] ANSWERS TO STAN ROSENSCHEIN'S QUESTIONS + SUPPLEMENT
COHEN.[S81,JMC] Comments on "Understanding Natural Kinds: Part I"
by Benjamin Cohen, draft
elepha.ax[s81,jmc] Axioms for multiplication by addition in ELEPHANT
FR.[S81,JMC] Formal reasoning proposal
FR79.[S81,JMC] Old formal reasoning proposal
FR81.PUB[S81,JMC] formal reasoning proposal material
FR81.[S81,JMC] Formal reasoning material
INTRO[s81,jmc] Draft introduction to 1981 ARPA proposal
PLAY.LSP[S81,JMC] simple game player
scienc[s81,jmc] Bias in Science articles and headlines
TIM81.[S81,JMC] LISP Timing Evaluation Project
Summer 1981 files
advice[e81,jmc] Advice to Earthmen (re: motivation)
ALAIN.[E81,JMC] script of Colmerauer session with prolog
apply.ax[e81,jmc] EKL axioms for apply and eval for making recursive function defs
barrel[e81,jmc] Barrel and slot simulated multi-processor
BOSS.[E81,JMC] mailing list for Pournelle White House computing interest
cerf.pro[e81,jmc] draft proposal to Cerf to support verification work
COL1.[E81,JMC] prolog coloring program
collec.pr[e81,jmc] prolog program collecting the p(X) into a list
color.ax[e81,jmc] discussion of axioms for coloring maps
CONTEX.[E81,JMC] Comments on Context plan
COPY.PPR[E81,JMC] copy isthe identity function
COPY.PRF[E81,JMC] copy is the identity function
ekl.not[e81,jmc] Comments on ekl
elepha.sum[e81,jmc] Summary of Elephant paper for POPL
equip.mem[e81,jmc] SOME CONSIDERATIONS ON COMPUTER EQUIPMENT
EVAL.AX[E81,JMC] axiomatization of eval so defs will be truly defs
eval.pr[e81,jmc] original prolog program for eval
eval2.pr[e81,jmc] prolog program for eval using cuts to get unique answer
eval3.pr[e81,jmc] prolog program for eval using no cut but or and friends
examp1.pr[e81,jmc] examples of prolog programs
featur[e81,jmc] Features of situations
france[e81,jmc] Transcription of some notes from French trip
generalized adjectives
FRED.PR[E81,JMC] Prolog coloring program using Fred's idea
frpres[e81,jmc] MARSEILLES SPEECH TO FRENCH UNIVERSITY PRESIDENTS
HALL.NOT[E81,JMC] officials concerned with reviewing questionnaires
inspir[e81,jmc] Inspirational lecture to new Stanford students
INVEST.NS[E81,JMC] investment advice
kahn.pr[e81,jmc] Test of Ken Kahn's "Intermission - actors in Prolog"
know[e81,jmc] Revising Montague's knowledge axioms
kyoto.pub[e81,jmc] version of Recursive Programs as First order ...
LISP.AX[E81,JMC] ekl lisp axioms
LISP.PPR[E81,JMC] ekl lisp axioms
LISP.PRF[E81,JMC] ekl lisp axioms in internal ekl form
MAPS.BIG[E81,JMC] map coloring and kowalski with notes
maps.pr[e81,jmc] prolog programs for coloring maps
maps[e81,jmc] Map coloring and the Kowalski doctrine
META.OTL[E81,JMC] SCRIBE version of Stallman
meta[e81,jmc] Comments on Stallman's META paper
multiv[e81,jmc] Multiple valued functions in LISP
multi[e81,jmc] Proposals for multi-processing in S-1 LISP World War II.
oneway[e81,jmc] advocating one way space missions
POSTPO.PR[E81,JMC] postponement - probably Colmerauer's
query.pr[e81,jmc] Queries about prolog
space[e81,jmc] Blast for \bboard in favor of space
STATES.PR[E81,JMC] adjacencies of states
surviv[e81,jmc] SURVIVAL AFTER NUCLEAR ATTACK ON THE UNITED STATES
transp.ess[e81,jmc] Essay on transportation
y.ax[e81,jmc] EKL axioms for forms of Y combinator
Fall 1981 files - not yet fully annotated
206.LSP[F81,JMC]
AP.[F81,JMC]
BOND.NS[F81,JMC]
BUDGET.LSP[F81,JMC]
BUTTER.NS[F81,JMC]
advice[f81,jmc] An advice giver and advice taker
auxili[f81,jmc] Proofs of program properties using auxiliary entities
balance[f81,jmc] Balanced trees instead of a-lists
balance.2[f81,jmc] Functions for balancing S-expressions
bfloat[f81,jmc] comments on big floats for common lisp
caroly.lsp[f81,jmc] ekl version of Carolyn's recursive function maker
cbcl.not[f81,jmc] notes on cbcl, universal service order
cerp[f81,jmc] California energy recovery plan
cerp.not[f81,jmc] Notes for cerp, California energy recovery plan
CHANDR.RE1[F81,JMC] Coments on Chandrasekharan proposal
CODE.NS[F81,JMC]
COMPUT.NS[F81,JMC]
cycle.lsp[f81,JMC] ekl lisp axioms
CYCLE.PRF[F81,JMC]
EKLISP.LSP[F81,JMC]
davis.rev[f81,jmc] Review of Martin Davis NSF proposal
ekl.206[f81,jmc] ekl problems for cs206
FACTS.[F81,JMC] miscellaneous interesting facts
FINAL.F81[F81,JMC] CS206 final
HW4.PPR[F81,JMC] old ekl
emigra[f81,jmc] instincts for emigration and conflict
equip[f81,jmc] Equipment needs for Formal Reasoning Group
facili[f81,jmc] getting CSCF into financial health
goedel[f81,jmc] Kreisel's essence of Goedel's theorem and applications
ideas[f81,jmc] magic xerox drum
dynamic compression member, tower
Oct 25 - Finitization of problems
Dec 6 - rumor to destablize Russians
know[f81,jmc] draft of paper on knowledge
knowax.lsp[f81,jmc] ekl axioms for knowledge, original jmc modal system
know3.lsp[f81,jmc] ekl axioms for knowledge using possible worlds
know4.lsp[f81,jmc] comments and axioms on Kripke type knowledge
knowle[f81,jmc] axiomatizing knowledge using consistency
librar.lsp[f81,jmc] library of useful lisp functions
life[f81,jmc] A competitive form of the Life game
LISP.INI[F81,JMC]
LISP.PRF[F81,JMC]
logic[f81,jmc] mathematical logic for the practical man
match.lsp[f81,jmc] ekl version of problem with match and sublis
midter.f81[f81,jmc] cs206 midterm
motiva[f81,jmc] On human motivation
move.lsp[f81,jmc] Routines for moving objects from pile to pile
MULTIV.[F81,JMC]
natax.lsp[f81,jmc] ekl axioms for arithmetic
nato[f81,jmc] U.S.withdrawal from NATO
nonmon.ax[f81,jmc] Examples of axioms intended for use with circumscription
nuclea.ns[f81,jmc] Costs of nuclear and oil generated electricity for
Consolidated Edison
oneill[f81,jmc] lunch with Gerard O'Neill, Nov 20
oppen[f81,jmc] making Oppen's decision procedure useful
PROVE.LIS[F81,JMC]
proofs[f81,jmc] generalized proofs
provin[f81,jmc] notes for improving chapter on proofs
provin.f81[f81,jmc] copy of provin for modification
QUOTES.[F81,JMC] revealing quotes from Ehrlich, et. al.
sail[f81,jmc] The finances of SAIL
SAMELE.PPR[F81,JMC]
SAMELE.PRF[F81,JMC]
samele.lsp[f81,jmc] ekl axioms for the samelength predicate
SCIENT.2[F81,JMC]
SHACKL.LIS[F81,JMC]
SHACKL.NOT[F81,JMC]
SHUTTL.NS[F81,JMC]
SL1.PPR[F81,JMC]
SL1.PRF[F81,JMC]
spide1.lsp[f81,jmc] ad hoc spider player and referee
spide2.lsp[f81,jmc] spider player and referee using move.lsp[f81,jmc]
stoyan.6[let,jmc] comments on 2nd part of Stoyan's translation
stoyan[f81,jmc] comments on 1st part of Stoyan's translation
surviv.1[f81,jmc] survival in case of nuclear attack
surviv.2[f81,jmc] survival in case of nuclear attack - draft paper
TECH.NS[F81,JMC]
TEST.[F81,JMC]
TEST.LSP[F81,JMC]
TEST2.[F81,JMC]
tree.lsp[f81,jmc] hash trees instead of a-lists
unprov[f81,jmc] Proving unprovability
zinger[f81,jmc] zingers for the theologists in january
Winter 82 Files - Not compared with directory
becaus[w82,jmc] The ultimate "because"
boyer[w82,jmc] Letter to Bachman recommending Boyer and Moore for
Turing award
comput[w82,jmc] Computers and the future
consti[w82,jmc] A new constitution for the U.S.
copy.lsp[w82,jmc] speed tests for copy
cs204[w82,jmc] problems for teaching cs204 some time
cs258[w82,jmc] topics for cs258 for winter 1982
defaul[w82,jmc] General theories of defaults - non-monotonic
dirty[w82,jmc] A clean EVAL for dirty lisp
elsalv[w82,jmc] A plan for saving El Salvador
energy.let[w82,jmc] letter to candidates advising caution
flat.pr[w82,jmc] flat in prolog
geabst[w82,jmc] Abstract for talk at GE
getalk[w82,jmc] Notes for talk at GE
ideas[w82,jmc] string search
Partial reflection principle
Parallel matrix multiplication may require
size dependent routines
life.lsp[w82,jmc] lisp program for competitive life
lispax.lsp[w82,jmc] ekl axioms for lisp
flat.lsp[w82,jmc] ekl axioms and proofs about flat
histor[w82,jmc] personal history
hyperc[w82,jmc] Hyperconsistency; we sometimes need more than consistency
lispax.prf[w82,jmc] for initializing ekl with lisp axioms
long[w82,jmc] the long range future
macro.lsp[w82,jmc] ekl programs for doing induction
manna.lsp[w82,jmc] ekl formalization of manna method
match.lsp[w82,jmc] ekl axioms and proof about match and sublis
musts[w82,jmc] Things that must be done before I leave
misc.ekl[w82,jmc] miscellaneous ekl proof statements about lisp
nonmon[w82,jmc] The two kinds of non-monotonic reasoning
nsfr.82[w82,jmc] Final report to NSF on Basic Research Grant
object[w82,jmc] Objects, quantities and flavors
orci[w82,jmc] Comments on "Contributions to Automatic Programming Theory"
by Istvan Orci, early draft
prolog.not[w82,jmc] Notes on control in logic programming
report.lll[w82,jmc] Final report for LLL contract on S-1
renew.82[w82,jmc] 1982 nsf renewal proposal
revers.lsp[w82,jmc] Axioms and proofs involving reverse
smith[w82,jmc] Comments on thesis proposal of David E. Smith
starr[w82,jmc] for politicians
state[w82,jmc] co-operating with the State Department
tour[w82,jmc] A new kind of Moscow tour
common[s82,jmc] What is common sense?
falkla[s82,jmc] Notes on the Falklands
haugel[s82,jmc] Notes on Haugeland's "Artificial Intelligence - the very idea"
notes[s82,jmc] From Spring 82 notebooks
nqueen.lsp[s82,jmc] n queens on toroidal board
nr[s82,jmc] A column on science and technology
sweden[s82,jmc] Notes on Swedish researchers, papers and projects
Summer 1982 - not yet compared with directory
analog[e82,jmc] What computations cannot be made efficiently by computer?
backtr[e82,jmc] Proposed backtracking macro for Lisp
bird[e82,jmc] Minsky's bird example - for circumscription
cbcl[e82,jmc] Notes on CBCL, summer 1982
chess[e82,jmc] Notes on the Berliner thesis position
common[e82,jmc] Draft message to Kahn about Common Lisp.
constr.ess[e82,jmc] The key requirement is to reduce the cost of construction
cooper[e82,jmc] Notes for discussion with Cooper about AI and defense
cs206[e82,jmc] Description of CS206 for "Mathematical Sciences Handbook"
drosop[e82,jmc] Chess as the Drosophila of AI
exampl[e82,jmc] examples for circumscription including Reiter home town
handou[e82,jmc] Common sense axioms for moving objects
indust[e82,jmc] Industrial Lectureship in Computer Science
inhibi[e82,jmc] Inhibition: another method of non-monotonic reasoning
logica[e82,jmc] Logic and ordinary language, Barwise and Perry
minimi[e82,jmc] Minimizing logical expressions
moving[e82,jmc] Common sense axioms for moving objects -blocks
partia[e82,jmc] Partial models and partial relativization
patter[e82,jmc] Patterns and concepts
prize[e82,jmc] Writeup of prize problem
queen2.lsp[e82,jmc] Simple backtracker for 8 queens
queens[e82,jmc] dialog with Wegner on n queens
queens.2[e82,jmc] Notes on the n queens problem
queens.bib[e82,jmc] Bibliography on n queens
queens.lsp[e82,jmc] Programs for the n queens problem - mostly fragments
queen2.lsp[e82,jmc] The running programs for n queens
queen3.lsp[e82,jmc] A version that excludes squares already tried
queen4.lsp[e82,jmc] New try at version that excludes squares already tried
reify[e82,jmc] Reification and natural kinds in AI
reduct[e82,jmc] reduction to satisfiability and satisfiability machine
remark[e82,jmc] jmc remarks that may be useful - social
situat[e82,jmc] situation calculus and axioms
style[e82,jmc] A style for interactive programs
telegr[e82,jmc] Telegraphic communication in natural language
verifi[e82,jmc] proofs checkable in linear time
[f82,jmc]
aaai[f82,jmc] To do as president
ambigu[f82,jmc] Ambiguity tolerance and desirable vagueness
appoi1[f82,jmc] A program for keeping track of appointments and advising
balzer.rep[f82,jmc] Reply to Balzer's message to Bob Kahn
bird[f82,jmc] Another version of "A bird can fly unless ...
bird.2[f82,jmc] Another approach to " A bird can fly unless
bird.3[f82,jmc] The reasoning itself
boyerm[f82,jmc] Note to Boyer and Moore about RSA proof
circum[f82,jmc] Mathematical questions of circumscription
circum.dis[f82,jmc] Mailing list for reports on circumscription
circum.ex[f82,jmc] Examples for circumscription paper
circum.lec[f82,jmc] Notes for lecture on circumscription
circum.mor[f82,jmc] More on circumscription - for IJCAI or AAAI
common[f82,jmc] What is common sense?
commen[f82,jmc] letter to Commentary about Irving Howe
confli[f82,jmc] There is too much conflict in the world
cross[f82,jmc] Crossing the street and concurrent action
cs206[f82,jmc] Notes for the improvement of CS206 and the book
cs226[f82,jmc] Notes for cs226 for winter 1983
deukme[f82,jmc] SE2 letter to Governor Deukmejian
dirty[f82,jmc] Locally dirty lisp
disinf[f82,jmc] Andropov's accession portends more disinformation
ekl.not[f82,jmc] Notes on the use of ekl
enviro[f82,jmc] Environmental issues for discussion with Sarah
german[f82,jmc] some German vocabulary
hypert[f82,jmc] hypertime - speculation in physics
ideas[f82,jmc] 1982 Nov. 24
lambda[f82,jmc] How expensive is lambda calculus computationally?
let1[f82,jmc] A call-by-need let macro
letby.lsp[f82,jmc] Call-by-need let macro
lisp.imp[f82,jmc] improvements to Lisp, lisp 3, new lisp
mathso[f82,jmc] Abstract of talk for American Mathematical Society
metaep[f82,jmc] A proposal for meta-epistemology
midter.f82[f82,jmc] 206 midterm
molecu[f82,jmc] Detection of single molecules by methods of
freshman chemistry
more[f82,jmc] More on Circumscription
naviga[f82,jmc] Radio navigation for cars using fm stations
omega[f82,jmc] Chess win in omega moves, Barwise position
parall[f82,jmc] Ideas for a parallel bit string manipulator
permut.lsp[f82,jmc] ;;; ekl axioms and proofs for permutation functions
politi[f82,jmc] Politics and sociobiology and original sin
poll[f82,jmc] Questions for public opinion polls - about Taiwan
reiter[f82,jmc] To Reiter re circumscription applied to Nixon paradox
safety[f82,jmc] When safety kills - death rates and income
scheme[f82,jmc] scheme hairy control structure for samefringe
semina[f82,jmc] Abstract for seminar on circumscription
slac[f82,jmc] AI lecture for SLAC; common sense physics
traffi[lit,jmc] computer program saves humanity
tree[f82,jmc] Another scheme for using trees instead of a-lists
triang.lsp[f82,jmc] How many queens will fit in a triangle
trian3.lsp[f82,jmc] Queens in triangle, multiple-value-bind version
turing[f82,jmc] The Inversion of Functions Defined by Turing Machines
turing.com[f82,jmc] Commentary on "The inversion ..."
unempl[f82,jmc] Mathematical models of unemployment
Winter 1983
africa[w83,jmc] Opinion on South Africa
airpor[w83,jmc] Axioms for the airport problem
amendm[w83,jmc] A judicial restraint constitutional amendment
arpa[w83,jmc] arpa scope items
berkel.ns1[w83,jmc] News story on speech disruption, see blackl.ist[f77,jmc]
blocks[w83,jmc] Blocks axioms using circumscription
cause[w83,jmc] Generalized causality, generalized dynamical systems,
generalized time, and generalized partial differential
equations
chicag[w83,jmc] Chicago paper on models of the future
circum.com[w83,jmc] Making circumscription computable
circum.not[w83,jmc] More: 1. Circumscribing when generalizing
co[w83,jmc] correspondence, coherence and consensus
commen.226[w83,jmc] Comments on student papers
common.abs[w83,jmc] What programs need common sense
commun[w83,jmc] Communist language in other use
commun.2[w83,jmc] The two communist menaces
corres[w83,jmc] The correspondence theory is right for robots
defens[w83,jmc] Notes for talk on Science and Defense
domain[w83,jmc] Corrected section on domain circumscription
exile[w83,jmc] Exiling criminals
formal[w83,jmc] 1983 formal reasoning brag and proposal
goodst.lsp[w83,jmc] The Goodstein function
green[w83,jmc] Worries about a revival of aggressiveness in Germany
haberm[w83,jmc] Jurgen Habermas "Theories of Truth", Wahrheitstheorien
handou.226[w83,jmc] Handout for cs226 - Common sense data base, 1983 winter
indust[w83,jmc] Spring 1983 Industrial Lectureship
inhomo[w83,jmc] Inhomgeneous environments stablize populating fluctuation
invent[w83,jmc] We have fewer inventions to get used to
janler.com[w83,jmc] Notes on "Modelling change - the frame problem" by Janlert
kantro[w83,jmc] Ideas of Arthur Kantrowitz
life[w83,jmc] The Life World Physicists
maps[w83,jmc] New version of "Map coloring and the Kowalski doctrine"
notes[w83,jmc] On various business and scientific topics
phone[w83,jmc] Notes from phone conversations
photo[w83,jmc] Coherent photo-electric effect
psycho[w83,jmc] Notes on article for Psychology Today
putnam[w83,jmc] excess material from a letter to Putnam
reify[w83,jmc] Reification - especially in the blocks world
santac[w83,jmc] Notes for Santa Cruz panel talk
religi[w83,jmc] Scientific forms of the religious hypothesis
scilab[w83,jmc] Notes on Science and Labor conference
strips[w83,jmc] Formalizing STRIPS
timesh[w83,jmc] Notes on the history of time-sharing, timesharing.
tough[w83,jmc] Tough nuts for computer science, IFIP 83
tower.226[w83,jmc] blocks and towers and traffic lights
true[w83,jmc] Useful sentences involving the predicate true
truth[w83,jmc] M.I.T. discussion about truth
ullman.not[w83,jmc] Notes on "On the semantics of updates in databases"
vts[w83,jmc] VTS course description and notes
Spring 1983
androp[s83,jmc] Andropov shows his hand
ascrib[s83,jmc] Ascribing Mental Qualities to Machines - 1983 version
counte[s83,jmc] A cartesian product theory of counterfactuals
chaiti[s83,jmc] Notes on Chaitin's paper on Goedel's theorem
chudno[s83,jmc] For discussion with David C.
common[s83,jmc] Expert systems sometimes need common sense
csdcf[s83,jmc] CSD-CF facilities chairman
dennet[s83,jmc] Notes on "True Believers"
deter[s83,jmc] The ethics of deterrence
excess.ess[s83,jmc] Excessive expectations about society
eugeni[s83,jmc] What if the eugenicists were right?
fareas[s83,jmc] Names and phone numbers in Far East
first[s83,jmc] Universality of first order logic
gentle[s83,jmc] Why be gentle with coercive protesters.
gunkel[s83,jmc] About Patrick Gunkel's proposed meeting
hoover.2[s83,jmc] Article for Stanford Review
labor[s83,jmc] Interaction with AFL-CIO
multi[s83,jmc] Proposals for multiprocessing in S-1 LISP.
multip[s83,jmc] RUN-TIME CONTROL OF MULTI-PROCESSING ON THE S-1
BY THE USER PROGRAM
multi.pro[s83,jmc] Proposal for research in multi-processing LISP
newmac[s83,jmc] Re meeting about new time-sharing machine
notes[s83,jmc] miscellaneous
outlin.ess[s83,jmc] outline of essays on technology - shuttle edition
psycho.2[s83,jmc] Draft for Psychology Today
psycho.3[s83,jmc] Draft for Psychology Today
rosenb[s83,jmc] Nathan Rosenberg's Inside the Black Box:
renew.83[s83,jmc] 1983 NSF renewal
scope[s83,jmc] DARPA scoping document
senate[s83,jmc] Senate of the Academic Council
suppes[s83,jmc] Notes on meetings with Suppes group about learning
Summer 1983
aaai.dis[e83,jmc] Executive committee of AAAI
common[e83,jmc] Common sense paper for NY Academy
Some expert systems need common sense
common.tex[e83,jmc] TeX version of above
common.abs[e83,jmc] Abstract of common sense paper
festsc[e83,jmc] Shackleton for Teller festschrift
fifth[e83,jmc] Review of Feigenbaum and McCorduck - for Reason
flib[e83,jmc] Electronic library for the Centre Mondial
fredki[e83,jmc] Fredkin's proposal for meeting and White Paper
hair[e83,jmc] The use of non-computable predicates
nolook[e83,jmc] Modifying programs without looking at them
notes[e83,jmc] miscellaneous notes
notes.2[e83,jmc] Transcribed notes
pack[e83,jmc] Leslie pack wants to work on epistemology of AI
psycho[e83,jmc] Version with more on AI in general
psycho.3[e83,jmc] Susie's draft
psycho.4[e83,jmc] Mailed draft
rotati[e83,jmc] Rotation number problem for Ping Wong on LOTS
schank[e83,jmc] For debate with Schank
sleepy[e83,jmc] Notes on sleepiness
travel[e83,jmc] The travel problem in FOL and Prolog
wordco.lsp[e83,jmc] LISP word counter
wpps[e83,jmc] Salvaging WPPS
1983 Fall
academ[f83,jmc] Academic Freedom at Stanford
aibook[w84,jmc] Notes for popular book on AI with Colin Mick
artifi.ns[f83,jmc] News story on AI (artificial intelligence)
ascrib[f83,jmc] Ascriptionism
auto[f83,jmc] Notes
belief[f83,jmc] Axioms for persistence of belief
block.ax[f83,jmc] Axioms for building structures from blocks
block1.pro[f83,jmc] Prolog blocks program
block.not[f83,jmc] Notes on programs for building towers
blocks[f83,jmc] Improved blocks axioms
blocks.lsp[f83,jmc] LISP block stacking program
block2.lsp[f83,jmc] Variant of block stacker using function calls
block2.rpg[f83,jmc] RPG's modernization of block2.lsp
block3.lsp[f83,jmc] Block stacker with fn calls and opportunism
block4.lsp[f83,jmc] Block stacker that looks for safe moves first
cbcl.abs[f83,jmc] Abstract for CBCL talk in Terry's seminar
christ[f83,jmc] Atheists for Christmas
circum[f83,jmc] AI Aplications of Circumscription
circum.tex[f83,jmc] TEX version of above, slightly improved
circum.abs[f83,jmc] Circumscription abstract for Parikh at Brooklyn College
circum.alt[f83,jmc] Alternate versions of certain sections of CIRCUM.
circum.not[f83,jmc] Notes for circum[f83,jmc]
coard.ns[f83,jmc] The Central Committee's order is given.
The Central Committee's order is complied with.
common[f83,jmc] Common sense reasoning is not natural language reasoning
dirty[f83,jmc] dirty lisp reduced to clean; eq and equal
foo.dis[f83,jmc] for discussion of logic-in-ai electronic journal
fergus[f83,jmc] Conversation with Doug Ferguson about electronic library
final.ans[f83,jmc] Answers to some of the problems on CS206 final
final.f83[f83,jmc] CS206 final
forwar[f83,jmc] Doing everything by forward chaining
freedo[f83,jmc] Dialog with Petr Beckmann's Fort Freedom
heart.ns[f83,jmc] Why more delays in artificial heart
hoover.ns[f83,jmc] Hoover controversy
hoover[f83,jmc] What is legitimate in Hoover controversy
hoover.2[f83,jmc] Criticism of the Academic Senate
hoover.not[f83,jmc] Notes on the Hoover controversy
japan[f83,jmc] U.S. Japan collaboration
know[f83,jmc] Notes on non-knowledge
know.lsp[f83,jmc] EKL axioms for knowledge
know2[f83,jmc] Passing the salt
ideas[f83,jmc] exotic circumscriptions,
Children's early memories of stories
Formal natural language
intell[f83,jmc] Defining intelligence
lectur[f83,jmc] Formalization of common sense lectures
librar.dis[f83,jmc] Distribution list for aaai electronic library
librar.red[f83,jmc] Reddy's draft of electronic library paper
logic.dis[f83,jmc] Logic in AI mailing list
logic.pro[f83,jmc] Proposal for logic in AI mailing list
opinio[f83,jmc] Science and Technology Opinion
opinio[w84,jmc] More on Science and Technology Opinion
orwell[f83,jmc] Review of two books reviewing 1984
midter.f83[f83,jmc] CS206 midterm
monadi[f83,jmc] Normal form of monadic formulas
patter[f83,jmc] Non-standard patterns
presen[f83,jmc] Christmas presents
presid.1[f83,jmc] First AAAI presidential message
proble[f83,jmc] Good problems in AI
query[f83,jmc] Research queries
servo[f83,jmc] logical servomechanisms in AI
signat[f83,jmc] Computer terminals have analog signatures
situat[f83,jmc] Modifications to the situation calculus
sovfil.ns[f83,jmc] Kansas City is sorry about helping Soviet documentary
spide.200[f83,jmc] The shortest spider so far.
subst[f83,jmc] Proofs about subst
techno[f83,jmc] What technology can do for labor
tower[f83,jmc] axioms for towers
unique[f83,jmc] The unique names assumption
1984 Winter
ai.pop[w84,jmc] Popular book on ai
centre[w84,jmc] 3 notes on Centre Mondial library project
circum.fil[w84,jmc] List of files treating circumscription
citize[w84,jmc] The next round in space
combi1.lsp[w84,jmc] ;;; Replacing lambda expressions by combinators
common[w84,jmc] Definition of common sense for Kay Mills
cs258[w84,jmc] List of lectures
cs258.1[w84,jmc] CS258 handout
cs258.lis[w84,jmc] List of students
debate[w84,jmc] Notes for debate with Mozely
defens[w84,jmc] In defense of defense
defini.lsp[w84,jmc] EKL definition principle
denelc[w84,jmc] Why DARPA should buy us a Denelcor machine
dyson[w84,jmc] Comments on Dyson's essay in the New Yorker
focus[w84,jmc] The foci of evil
grenad[w84,jmc] The Good Government Corporation and Grenada
hierar[w84,jmc] inheritance
hitech[w84,jmc] High Technology Science Center
hist59[w84,jmc] Additional time-sharing, (timesharing) memos from 1959
ideas[w84,jmc] what has natural language got, child machine,
abstract actions,
typology of introspection, Simmmons's phenomenonalist
errors, circumscriptive "but"
Child machine
Text valued expressions in editors:
Abstract actions
Ontology of the blocks world
Science progress slowed by ideologic orthodoxies
Unique names and circumscription
Typology of introspection and reflection, consciousness
Simmon's phenomenalism
indust[w84,jmc] course descriptions for industrial lectures
kaplan[w84,jmc] Letter to Kaplan
know.abs[w84,jmc] Abstract for lecture in Halpern seminar
know.lsp[w84,jmc] ekl axioms
labor[w84,jmc] Notes on science and labor
match.lsp[w84,jmc] ekl definitions of sublis and match
nonmon[w84,jmc] Applications of non-monotonic reasoning (circum)
nsf.84[w84,jmc] 1984 NSF proposal for Basic Research in AI
opinio[w84,jmc] More on Science and Technology Opinion
patter.lsp[w84,jmc] matching linear patterns
popula[w84,jmc] Notes on population control
presid.2[w84,jmc] Second AAAI presidential message
presid.3[w84,jmc] Ideas for AAAI presidential message
prolog[w84,jmc] Higher level logic programming than prolog allows
reiter[w84,jmc] A proof for Reiter
rpg[w84,jmc] Promotion for Dick Gabriel
scott[w84,jmc] Correction to Scott, CUCH, ISWIM and OWHY
secret[w84,jmc] Things that should be kept secret
simmon[w84,jmc] Prolog fragments representing Simmons grammars
starwa[w84,jmc] Issues raised in the starwars discussion
syntax[w84,jmc] Abstract syntax and semantics of programs with go to
tasks[w84,jmc] Some tasks
typica[w84,jmc] The Leninist theory of the typical
unders[w84,jmc] understanding and other mental terms
unique.lsp[w84,jmc] Try at circumscribing unique names in ekl
1984 Spring
aa[s84,jmc] The limitations of the analysis of algorithms
agenda[s84,jmc] Agenda for AAAI meeting
bird.lsp[s84,jmc] Bird circumscription in ekl
bird.prf[s84,jmc] Bird circumscription internal proof form
block.fil[s84,jmc] Files mentioning blocks
blocks[s84,jmc] The blocks world and axiomatization of common sense
challe[s84,jmc] Challenge problems for common sense formalization
circum[s84,jmc] More for circum[f83,jmc]
circum.pro[s84,jmc] Problems concerning circumscription
common[s84,jmc] What is common sense? for AAAI Presidential Address
compre[s84,jmc] A proposal for revising the CSD Comprehensive Exam
confer[s84,jmc] Proposed conference on logic and AI
dyson[s84,jmc] Review of "Weapons and Hope" by Freeman Dyson
equal.lsp[s84,jmc] Circumscribing equality
freewi[s84,jmc] Free will and determinism
garn[s84,jmc] Statement to Senator Garn about AI in space, Jastrow
human[s84,jmc] Humanity and society
heuri[s84,jmc] Formalization of heuristics
ibm[s84,jmc] Ideas for IBM Romp project
ideas[s84,jmc] circum vs. default logic
automatic abbreviation macros in editors
Termination of Ackermann by induction on higher type
partial models, etc.
Prize contest in programming
katz[s84,jmc] Where do Katz and Chomsky leave AI
latrip[s84,jmc] L.A. trip
logicp[s84,jmc] The Importance of Logic Programming
logicp.2[s84,jmc] Notes on logic programming
lose.lsp[s84,jmc] Some ekl tests
mcderm[s84,jmc] McDermott example? done by circumscription
natura[s84,jmc] Natural sentence generation
nonmon[s84,jmc] Varieties of non-monotonic reasoning
nsf.84o[s84,jmc] Old material from nsf.84[w84,jmc]
olympi[s84,jmc] Soviet boycott of the Olympics
parame[s84,jmc] Parametrizing data bases
perlis[s84,jmc] (to: Don Perlis) (re: Berofsky book)
presid.2[s84,jmc] Yet another try at a second presidential message
priori[s84,jmc] Prioritized circumscription
priori.lsp[s84,jmc] ekl proof involving prioritized circumscription
restau[s84,jmc] 25 best restaurants, 1984 May
social[s84,jmc] Socialism in theory and practice
unify.lsp[s84,jmc] Unification algorithm
windmi.ns[s84,jmc] Windmills in the Shawangunks
1984 Summer
aaai.spe[e84,jmc] AAAI Speech, August 1984.
aaai.spe[e84,jmc] Transcription of AAAI lecture Aug. 1984
appen.lsp[e84,jmc] Locally dirty append
basic[e84,jmc] Basic research in AI committee
bell[e84,jmc] Conversation with Gordon Bell of Encore
book[e84,jmc] Notes for modifying McCarthy and Talcott
cbcl.pro[e84,jmc] Proposal for starting work on CBCL
chen[e84,jmc] Non-monotonic reasoning essay for NSF
circum.abs[e84,jmc] Abstract on Mathematical Problems of Circumscription
common.abs[e84,jmc] What is common sense? for Berkeley talk
common[e84,jmc] What is common sense? - for AAAI Presidential Address
commun[e84,jmc] Notes on communism and socialism
cooper[e84,jmc] Abstract for talk at workshop on co-operative agents
cpsr[e84,jmc] Computer Professionals for Social Responsibility
david[e84,jmc] For discussion
doyle[e84,jmc] Notes on Doyle's "Circumscription and implicit definability"
east.ns[e84,jmc] East German justification of shooting escapees
hep[e84,jmc] Outline proposal for Stanford Hep and parallel Lisp
hep.dis[e84,jmc] Distribution list for HEP
histor[e84,jmc] Opinions on the history of computing
ideas[e84,jmc]
is-a hierarchy
Can a spacecraft pump itself?
Bob Moore's "Theory of Knowledge and Action" looks quite good.
Contexts and subcontexts
Diet and anger.
Past actions have detail, future not
Commitment in programming and common sense.
Higher level specification of interactive program
Sept 1 - Overload cons
improv[e84,jmc] Improvements to the human body
issues.ns[e84,jmc] NAS journal on issues
kurzwe.ns[e84,jmc] Kurzweil reading machine
lipset[e84,jmc] The anomaly
match.lsp[e84,jmc] Eric Muller's proof of correctness of match, sublis
mathed[e84,jmc] Statement on mathematics education
match.prf[e84,jmc] Eric Muller's proof of correctness of match, sublis
noise[e84,jmc] Memo to Steering Committee about noise on campus
oa[e84,jmc] Comments for III (Fenaughty) on OA Systems
opinio[e84,jmc] Request for support from non-scientists
pedant[e84,jmc] Why philosophy is often uselessly pedantic.
provin[e84,jmc] Draft of chapter 3 based on EKL
questi[e84,jmc] AI questionnaire from Bobrow and Hayes
searle[e84,jmc] Notes for 1984 Sept 4 discussion with John Searle
slides.tex[e84,jmc] slides for Presidential Address
spide.his[e84,jmc] spider histogram
start[e84,jmc] New start for chapter 1
1984 Fall
aaai.spe[f84,jmc] AAAI speech transcript
afghan.ns[f84,jmc] A.P. stories about Afghanistan
beeson[f84,jmc] Beeson panel "Survival and Prosperity--how should
computers help us?"
catast[f84,jmc] Catastrophes, disasters, extinctions
chudno[f84,jmc] Conversations with the Chudnovskys
chudno.3[f84,jmc] Inst. for symbolic comp. in math.
clt[f84,jmc] Comments on CLT Thesis abstract
combat[f84,jmc] Conservation of combativeness
common[f84,jmc] What is common sense? for AI Magazine
contex[f84,jmc] Ideas about context
delica[f84,jmc] Citations for "delicate balance" of nature
ebos.pro[f84,jmc] Editor based operating system proposal
energy[f84,jmc] Suggestions for address
essays[f84,jmc] Topics for published essays
final.f84[f84,jmc] CS206
jimjon[f84,jmc] Note to Elaine Rich about renaming Brown University
leibni[f84,jmc] Non-monotonic for Association for Symbolic Logic
malach[f84,jmc] Concerning Yonatan Malachi's thesis
motiva[f84,jmc] What are human motivations
nonmon.con[f84,jmc] Non-monotonic reasoning and controversy
notes[f84,jmc] Notes, books, etc.
oneway[f84,jmc] A one way mission to the moon (re: omni, shackleton)
intro.pro[f84,jmc] Introduction to DARPA proposal for Qlambda on parallel processors
proble[f84,jmc] Towards a problem solving program
qlambd[f84,jmc] QLAMBDA project notes
report[f84,jmc] To DARPA about recent work
set[f84,jmc] Notes on set equations
snow[f84,jmc] There are only one and a half cultures
techno[f84,jmc] Technology and the Individual (for Reason)
teleph.ns Russell Baker on telephone bores
times[f84,jmc] Times for various trips
1985 winter
aaai[w85,jmc] Nominations for aaai offices
barwise[w85,jmc] Barwise on conditionals
causal.tex[w85,jmc] Actions, and Causal Law
closed[w85,jmc] The Soviet Union as a Closed Society
comput[w85,jmc] Clarification of Senate remarks on Stanford computing
consci[w85,jmc] If consciousness didn't exist, we'd have to invent it.
contro[w85,jmc] How to control reasoning
david[w85,jmc] Notes for David Chudnovsky
decida[w85,jmc] Decidable problems as an AI tool
dennet[w85,jmc] Reaction to Dennett's 1982 Cognitive Whe;ls; The
Frame Problem in AI
dinosa[w85,jmc] In defense of time-sharing
export[w85,jmc] Control of Soviet access to computer technology
fight[w85,jmc] Picking a fight with western Europe
goetz[w85,jmc] Extracts from news stories about "subway vigilante"
goetz.2[w85,jmc] Suppressing crime, black crime, history
goetz.3[w85,jmc] A few issues
gorbac.ns[w85,jmc] Pietila story about Gorbachev - with my comments
heuris[w85,jmc] Heuristics in logic
histor[w85,jmc] Notes for a science of history
ideas[w85,jmc]
reifying goals to make circumscription of ab work
indust[w85,jmc] 1985-86 Industrial Lecturers
lenin[w85,jmc] Lenin's birthday in the Springer Calendar
lewont[w85,jmc] Notes for review of Lewontin
logic[w85,jmc] Mathematical Logic and Common Sense Reasoning
mcderm[w85,jmc] Notes on McDermott's "Planning routes through uncertain territory
monadi.tex[w85,jmc] Decidability of monadic predicate calculus
nonmon[w85,jmc] Article for Scientific American on non-monotonic reasoning
nonmon.abs[w85,jmc] Abstract for AAAS
normal[w85,jmc] Normally birds fly
notes[w85,jmc] Notes and ideas
nsf.rep[w85,jmc] Report on last NSF grant
psych.ns[w85,jmc] Technical psychology anyone?
ramo.1[let,jmc] Ramo's recipe for disaster
soviet[w85,jmc] Changing the Soviet Union
strips[w85,jmc] Formalization of STRIPS in situation calculus
vienna[w85,jmc] Modifying programs without reading them
warpla[w85,jmc] Notes on David Warren's WARPLAN
1985 Spring
abstra[s85,jmc] Abstract actions
bacter[s85,jmc] Junior high school bacteriology
bargai[s85,jmc] The bases for a bargain with the Soviet Union
beeson.kno[s85,jmc] Michael Beeson's paper on knowledge
beeson.not[s85,jmc] Comments on Beeson's paper on knowledge
berkel.ns[s85,jmc] Berkeley bombing. The action may be punitive.
brag[s85,jmc] Self-praise for various purposes
chudno[s85,jmc] Comments on Chudnovsky proposal
circum[s85,jmc] More ideas, see circum.tex[f83,jmc]
colour[s85,jmc] Shapiro program for coloring maps
commun[s85,jmc] Young people's guide to communism
contex[s85,jmc] Notes on contexts
exerci.vts[s85,jmc] Exercises and assignments for vts course
formal[s85,jmc] Problems of formalization, for students and others
gabor[s85,jmc] References for vtss
halcio[s85,jmc] Some knowledge index searches
haunt[s85,jmc] Notes on HAUNT
hoover[s85,jmc] Relations between Stanford and Hoover
ideas[s85,jmc]
creativity, easy creativity, higher order unification
economist cartoon, postponement, planning in AI and OR
kenned[s85,jmc] Kennedy concession
mental[s85,jmc] Mental situation calculus
msg[s85,jmc] Significant messages during trip to Japan and Alaska
nonmon[s85,jmc] Non-monotonic reasoning for AAAS
ockham.abs[s85,jmc] Formalizing Ockham's razor (non-monotonic) for sigma xi
peace[s85,jmc] Ideas about peace
prevent[s85,jmc] Prevention and impossibility
projec.tex[s85,jmc] Files Sarah worked on
rich.ess[s85,jmc] Let's all be rich - for vts
selfri[s85,jmc] Self-righteousness and 1960s
sigma.abs[s85,jmc] Abstract for Sigma Xi talk on non-monotonic reasoning
susan[s85,jmc] Epilog to the movie "Desperately seeking Susan"
techno.ns[s85,jmc] About technology and society courses
tracer[s85,jmc] Information tracers
violen[s85,jmc] Theories of violence
vts[s85,jmc] Opportunities and obstacles in using technology
1985 Summer
ailog[e85,jmc] AI and logic - for 1985 IJCAI
ailogi[e85,jmc] Notes for book on the use of logic in AI
appoin[e85,jmc] Memo on Carolyn appointment
basic.rep[e85,jmc] Report for NSF on Basic Research in AI
charni[e85,jmc] Comments on Charniak and McDermott
weil.lsp[e85,jmc] Lisp functions for finding integer points
circum.add[e85,jmc] An addition to "Applications of ..." circum.tex[f83,jmc]
common[e85,jmc] Commmon sense encyclopedia (re: MCC)
comm[e85,jmc] Common sense knowledge
easy[e85,jmc] Easy unsolved problems of AI (for IJCAI 1985)
easy.tex[e85,jmc] Slides for IJCAI 1985
future[e85,jmc] Considerations about the world's future
ideas[e85,jmc]
Procedural prolog worth studying
Pednault's important trivial discovery.
Lewontin's useful ideas
Counter to Soviet ploy
immune[e85,jmc] The immune system, smell, intelligence
intens[e85,jmc] Intensionality and circumscription
ellipt.lsp[e85,jmc] Lisp functions for computing with elliptic curves
featur[e85,jmc] New programming language features
founda[e85,jmc] Foundations of AI - For New Mexico Partridge conference
goetz.ns[e85,jmc] Ramseur robbery and rape
halper[e85,jmc] Abstract for Halpern's knowledge conference
lewont[e85,jmc] Review of Lewontin's Not in our genes
logica[e85,jmc] Notes for Barwise Logic and AI conference
halper.abs[e85,jmc] Draft abstract for Halpern conference on knowledge
mental.abs[e85,jmc] Abstract for Halpern based on mental situation calculus
meta[e85,jmc] Meta-epistemology
noise[e85,jmc] The politics of noise
nonmon[e85,jmc] Four page handout for CSLI summer school
nonmon.2[e85,jmc] Some non-monotonic axioms
parnas.nyt[e85,jmc] Computer scientist thinks SDI programs impossible.
petiti[e85,jmc] Petition to U.S. Peace Council
philis[e85,jmc] In praise of philistines
qlisp[e85,jmc] Notes on Qlisp
quantu[e85,jmc] Notes on quantum reality
risk.1[e85,jmc] The risks of not using computers
sdi[e85,jmc] Computing for SDI
sdi1[e85,jmc] Letter on sdi
sdi.2[e85,jmc] Statement on SDI
sdi.3[e85,jmc] Statement on SDI for RISKS
socia[e85,jmc] about socialism
theory[e85,jmc] theoretical use of knowledge
Fall 1985
baby[f85,jmc] Announcement of Timothy aka Cadwallader
baby.dis[f85,jmc] ;distribution of birth announcement
basict[f85,jmc] Support for basic technology
book[f85,jmc] Some notes for revising McCarthy and Talcott
circum[f85,jmc] circumscription with individual parameters
circum.pr[f85,jmc] Possible additions in proof to circumscription paper
counter[f85,jmc] The AI uses of counterfactuals
databa[f85,jmc] Databases, mental situations and the effects of mental
events
final.f85[f85,jmc] Fall 1985 CS306 final exam
forwar[f85,jmc] The Mail Forwarder
gorbac[f85,jmc] Opportunities from Gorbachev commencement speech
gorbac.ns[f85,jmc] Stanford senior petition to invite Gorbachev
homose[f85,jmc] A theory of homosexuality
ideas[f85,jmc]
Sociology of fighting
Controllable configurations of gravitational masses
black hole rockets
Bad effects of Stanford on children
variants of circumscription
Animal learning
Christmas present equity commission
jmcnot[1,jmc] Index to my notes on paper, filed in desk for now
know[f85,jmc] Knowledge for Halpern meeting (Dec. 15 deadline)
know.fil[f85,jmc] List of files referring to knowledge
lewont[f85,jmc] Version of review sent to Reason
mental[f85,jmc] mental situation calculus
midter.f85[f85,jmc] 1985 CS306 (cs206) midterm
mosher[f85,jmc] Double standard in Mosher case
mowing[f85,jmc] Lawn mowing dates and times
noise[f85,jmc] Noise and smoking
nosay[f85,jmc] Things that cannot be said in the Soviet Union
piaget[f85,jmc] Piaget's stages of intelligence
prevent[f85,jmc] Priorities by prevention
privil[f85,jmc] Demonstrations against privilege in the Soviet Union
proble[f85,jmc] CS306, cs206 problems for Fall 1985
provin[f85,jmc] Proving programs correct
revers.lsp[f85,jmc] Reverse stuff for ekl
roofs[f85,jmc] Roofs and boxes
samele.lsp[f85,jmc] samelength definition and proof
sdi[f85,jmc] Statement on SDI
setops[f85,jmc] Proofs of properties of set operations in EKL
sierra[f85,jmc] Comments on the Sierra Club
siglun[f85,jmc] Notes for Siglunch on 10,000 vs. 10,000,000
ta.306[f85,jmc] cs306 TAs for Fall 1985
toughn[f85,jmc] A tough nut for sequence extrapolators
vietna[f85,jmc] How freedom lost the Vietnam war
Winter 1986
ai[w86,jmc] General lecture on AI
addon[w86,jmc] Solutions are add-ons to problem statements
allian[w86,jmc] Rationalization of buying Alliant computer
anti.ess[ess,jmc] The anti-technological movement
artifi.ess[ess,jmc] Artificial Intelligence
announ[w86,jmc] announcement of industrial lectureship
blocks[w86,jmc] New blocks axioms fixing sneak
abnormality of sets of sits, getting a causal system
cable.ns[w86,jmc] Washington difficulties with cable TV
cogsci[w86,jmc] Review of "The Mind's New Science" by Howard Gardner
common[w86,jmc] Abstract on "Expert Systems and Common Sense"
contex[w86,jmc] Contexts and mental situations
coop[w86,jmc] Logical questions re co-operating systems
counte[w86,jmc] Counterfactuals and Approximate Theories
ebos[w86,jmc] Ideas for the editor-based operating system
ebos.2[w86,jmc] Detailed ideas for ebos
fellow[w86,jmc] Advocating post-doctoral fellowships in AI
fly.ess[ess,jmc] Personal flying machines
genera.tex[w86,jmc] Generality in AI, for old Turing lecture
genese[w86,jmc] letters received
hannov.2[w86,jmc] Abstract for Hannover Fair Lecture
hannov[w86,jmc] Notes for Hannover Fair lecture on AI and common sense
hanks[w86,jmc] Notes on "Temporal Reasoning and Default Logics" (key: nonmonotonic)
histor[w86,jmc] Mental histories
ideolo[w86,jmc] Soviet conservative ideology
indust[w86,jmc] Industrial lecturers for 1986-87
issues[w86,jmc] Issues in the foundations of artificial intelligence
label[w86,jmc] Labelled sentences,(key: nonmonotonic circumscription)
mercha[w86,jmc] Notes on Mechanism as power by Carolyn Merchant
meta[w86,jmc] Notes on a metaprolog
now[w86,jmc] Use of indexicals in controlling inference
notes.ess[ess,jmc] Notes for essays
nsf.86[w86,jmc] NSF renewal proposal
opport.vts[w86,jmc] Identifying the important technological opportunities
ops5[w86,jmc] Ideas suggested by the OPS5 book
plan.abs[w86,jmc] Abstract for Planlunch talk
proble[w86,jmc] Problems of AI
rich[w86,jmc] How the West Grew Rich by Nathan Rosenberg and L.E. Birdzell,jr.
scienc[w86,jmc] Letter to Science about the future of computing
statis[ess,jmc] Statistics are important
staude[w86,jmc] Notes on papers by John M. Staudenmaier, S.J.
unix[w86,jmc] Correspondences between WAITS and unix commands
vts[w86,jmc] Notes for vts course
vts.com[w86,jmc] Comments on student papers
COM 1.2 23-Jan-86 1339
wald[w86,jmc] issues raised by Waldinger talk, 1986 Jan 30
wics[w86,jmc] Course description and facts
work[w86,jmc] Computers and intellectual work for Milan, Italy
Spring 1986
after[s86,jmc] Afterthoughts on replies
anomal[s86,jmc] A non-monotonic logic using anomalies
banquo[s86,jmc] Notes for Banquet speech at logic programming conf.
cause[s86,jmc] Causality and McDermott's lament
color[s86,jmc] Letter to Mathematical Intelligencer
constr[ess,jmc] Reducing the costs of construction
contro[s86,jmc] The great Spring 86 AI controversy
dreyfu[s86,jmc] The dry fuss of Dreyfus
exerci.lsp[s86,jmc] LISP exercise computing probabilities
expert.tex[s86,jmc] Slides for "Some expert systems need common sense"
goals[s86,jmc] Goals for non-monotonic reasoning
hofsta[s86,jmc] Comments on Hofstadter
libya[s86,jmc] The raid on Libya
logic[s86,jmc] The logic approach to AI - for DARPA lecture 1986 May 12
logic.sli[s86,jmc] Slides for DARPA lecture and Swedish lecture
mcderm[s86,jmc] Notes on McDermott's Lament
medica.ess[ess,jmc] Improving the human
mud[s86,jmc] All about mud for the common sense database
All about mail order buying - a purely symbolic process
nicara[s86,jmc] Notes on Nicaragua
normal.tex[s86,jmc] Normality logic
notes[s86,jmc] Amarel model and contexts
adequacy of Lenat stuff
Kowalski's "Logic-based open systems"
order of minimization
knowing when a modification gives trouble
semantic resource bounded reasoning
object.ess[ess,jmc] Mathematical objectivity and the right of initiative
ration[s86,jmc] The rationalist approach to AI
roszak[s86,jmc] Review of his The Cult of Information
roszak.tex[s86,jmc] Final version of Roszak review
rttest[s86,jmc] Comparison RT and KL
searle[s86,jmc] Searle's Deturs
searle.bib[s86,jmc] Searle's books for commentary due October 1, 1987
trip[s86,jmc] April 1986 trip to Germany, UK, Italy
weizen[s86,jmc] Reply to Weizenbaum
winogr[s86,jmc] Winograd's vagueness
Summer 1986
artifi[e86,jmc] Artificial Intelligence for Hopcroft study
causal[e86,jmc] Causality using VAL's simple abnormality theory
cbs[e86,jmc] CBS had a legal but not moral right to lie about Westmoreland
cherno[e86,jmc] Notes for Seitz-Bethe commission
cherno.ns[e86,jmc] News stories about Chernobyl
commun[e86,jmc] Reforming communism requires getting rid of the communist party
contex[e86,jmc] Formalization of contexts
cs306[e86,jmc] For Fall 1986
darpa[e86,jmc] Notes for 1986 proposal
drexle[e86,jmc] Notes on Drexler's book
fred[e86,jmc] The tragedy of Fred McDermott
guide[lit,jmc] Guide for travellers
hanks[e86,jmc] Hanks and McDermott, AAAI paper
heavy[e86,jmc] Heavy duty set theory
hender[e86,jmc] Notes on Peter Henderson: Functional Programming] re: CS306
ideas[e86,jmc] Sterility and partial evaluation
indust[e86,jmc] Industrial lecturers 87-88
mad[e86,jmc] Memo to Nafeh
minsky[e86,jmc] Review of Minsky's Society of Mind
moscow[e86,jmc] Moscow conference
mosher[e86,jmc] Statement on Mosher case
notes.ess[e86,jmc] Notes for technology essays
ota[e86,jmc] Responses to OTA questions
polya[e86,jmc] Notes on Polya's Mathematical Discovery
qlisp[e86,jmc] section qlisp paper with rpg
russia[e86,jmc] Russian addresses and phone numbers
shoham[e86,jmc] Comments on Shoham's 1986 July 30 draft of ch. 3 of his thesis
top[e86,jmc] An object can't be on top of itself
wics[e86,jmc] Notes for wics course
Fall 1986
aids[f86,jmc] A free enterprise approach to the AIDS problem
aids.ns[f86,jmc] Pravda cartoon accuses CIA of inventing AIDS
anthro[f86,jmc] Intellectual standards in anthropology
approx[f86,jmc] Approximate theories - epistemological approximation
beeson[f86,jmc] Answering Beeson on nuclear war
biolog[f86,jmc] Notes on biology
circui[f86,jmc] Sterling,Shapiro circuit program
comple[f86,jmc] Dealing with complexity
davis[f86,jmc] Review of Storm over Biology
gdcirc[f86,jmc] Sterling-Shapiro circuit
badcrc[f86,jmc] Sterling-Shapiro circuit with short circuit from n4 to n2
circu1[f86,jmc] Program with negation
common[f86,jmc] Common sense database
cs306.tex[f86,jmc] Handout 1 for CS306
cs306.not[f86,jmc] Notes for cs306
cs326.not[f86,jmc] Notes for cs326
derive[f86,jmc] Derived logic programs
einste[f86,jmc] Hook and Einstein
ershov[f86,jmc] Ershov visit, Nov. 1986
final.f86[f86,jmc] Fall 1986 cs306 final
frame[f86,jmc] The Frame Problem Today
ginsbe[f86,jmc] Notes on Ginsberg paper
gps[f86,jmc] Privatizing the GPS (Global positioning system)
haugel[f86,jmc] Review of John Haugeland's ``Artificial Intelligence:
the Very Idea
hill[f86,jmc] Logical hill climbing
ideas[f86,jmc] talking cookies, automating remedial math
epidemiology of memes
ancient ideas in modern notation: re Boyer
interp[f86,jmc] An interpreter for Lisp with key words keyword
libert[f86,jmc] Notes for talk to Libertarian Convention
logic[f86,jmc] The use of mathematical logic in artificial intelligence
for Daedalus
logic.2[f86,jmc] Another try at logic for Daedalus
logist[f86,jmc] Difficulties with logic approach to AI
marx[f86,jmc] References relating to Marx and mathematics
mcderm[f86,jmc] Notes on McDermott's Critique of Pure Reason
mcginn[f86,jmc] Comments on McGinn's Ch.3 The Anatomy of contemporary
science and technology
morals[f86,jmc] What justifies them?
morave.rev[f86,jmc] Review of Moravec's Mind Children
neckla.ns[f86,jmc] About necklacing in South Africa
nonmon[f86,jmc] More notes on nonmonotonic reasoning
optimi[f86,jmc] The scientific basis for technological optimism
paper[f86,jmc] Keeping archives on paper
peace[f86,jmc] Sometimes well meant peace advocacy increases the
probability of nuclear war
propos[f86,jmc] Propositional goal achievement
reify[f86,jmc] More on reification, unknown reasons
rich.ess[f86,jmc] How a rich society can live well
sdi[f86,jmc] Answer to request for defense of SDI
search.lsp[f86,jmc] Lisp search program using pseudo-car and friends
searle[f86,jmc] Further response to Searle
shankar[f86,jmc] Shankar short form
shoham[f86,jmc] Comments on Shoham thesis draft
sterli[f86,jmc] Notes on Sterling and Shapiro
textua[f86,jmc] Textual circumscription
timoth[f86,jmc] notes on Timothy's development
women[f86,jmc] How can women achieve more of their potential?
Winter 1987
ai[w87,jmc] DARPA support of AI
binfor[w87,jmc] Notes for Binford re-appointment form
breaki[w87.jmc] Note from Stephen Hansen about break in to RT
circum[w87,jmc] yet another form of circumscription
consci[w87,jmc] consciousness for AIlist digest
darpa[w87,jmc] Notes for modifying DARPA proposal
darpa.2[w87,jmc] Justification of work
divers[w87,jmc] Lucid proposal to divert effort from Qlisp
ecolog[w87,jmc] Ideas about ecology
functi.lsp[w87,jmc] doing continuous functions in ekl
elepha[w87,jmc] Improvements to Elephant
form.ns[w87,jmc] problems relevant to cbcl
frame[w87,jmc] The frame problem today
frame.abs[w87,jmc] Abstract for Kansas conference
gorbac[w87,jmc] What should the U.S. do about Gorbachev?
grades[w87,jmc] cs326 exam grades and term paper grades
happin[w87,jmc] Happiness and other evolved intermediates
hill[w87,jmc] Hill climbing in situation calculus
hoter[w87,jmc] 1987 notes for vtss talk on Home computer terminals
ideas[w87,jmc] virtual mediation
jan 25 - multiple vector states or situations
mar 7 - classification of counterfactuals
elephant version of subroutines and subroutine calls
draft queries
traffic lights
intend[w87,jmc] x intends to do y - for w87 cs326 exam
japan.msg[w87,jmc] messages about 1987 trip to Japan
lisp.tex[w87,jmc] Improving Lisp
logic.2[w87,jmc] Yet another try, version sent
logic.3[s87,jmc] 1987 June version of logic for Daedalus
logic[w87,jmc] Yet another try at Daedalus article
must[w87,jmc] must and might as well
notime[w87,jmc] Examples of non-temporal non-monotonic reasoning
nsf87.pro[w87,jmc] NSF renewal
patter[w87,jmc] Pattern matching
radon.ns[w87,jmc]
sakhar.ns[w87,jmc] Sakharov interview putting human rights ahead
of disarmament
second[w87,jmc] Notes on second order logic
soviet[w87,jmc] Soviet negotiation policy
staar[w87,jmc] paper for Richard Staar's conference on Soviet computing
Spring 1987
ambigu[s87,jmc] Ambiguity tolerance
blocks[s87,jmc] Heuristics for the blocks world
dartmo.tex[s87,jmc] Notes on the Dartmouth conference
AMES.NS[S87,JMC] Bruce Ames's list of cancer causes
CARTER.NS[S87,JMC] The necessity defense
elepha[s87,jmc] Elephant and lisp, draft lemmas
heuris[s87,jmc] Concepts for reasoning heuristics
hewitt.tex[s87,jmc] Hewitt paper
hewitt.1[s87,jmc] comments on hewitt
hook[s87,jmc] questions for Sidney
ideas[s87,jmc] must and might as well
proving something can't be done
mcderm[s87,jmc] Comments on McDermott's opus on AI
mental[s87,jmc] Mental situations
perlis.bib[s87,jmc] Don Perlis bibliography on non-monotonic reasoning
philos[s87,jmc] AI and philosophy for Daedalus paper
philos.2[s87,jmc] Philosophy has been of no use to AI
politi[s87,jmc] Notes on politics
social[s87,jmc] Socialism
spaghe[s87,jmc] list for spaghetti
street[s87,jmc] Stanford computer empire
texas[s87,jmc] Info relative to U. Texas, fall 1987
tohoku[s87,jmc] Transcript of Tohoku U. lecture
toy[s87,jmc] In defense of toy domains
searle[s87,jmc] Themes from John Searle
Summer 1987
acm[e87,jmc] agreement with Soviets
ai[e87,jmc] AI and science, for AILIST - response to Don Norman
albino[e87,jmc] Handling albino by reification
cause[e87,jmc] Instances of causality
circum[e87,jmc] Yet another approach to circumscription
farout[e87,jmc] The far out future of AI
ideas[e87,jmc] dependence of concepts on situations
dependence of concepts on theories
dependence of concepts on state of knowledge
generalized turnpike theorem
kinds[e87,jmc] Kinds --- natural and otherwise
moscow[e87,jmc] Non-monotonic reasoning and causality
proble[e87,jmc] Problems in common sense reasoning
quine[e87,jmc] Notes on Quine's Natural Kinds
rocket[e87,jmc] Black hole rockets and rearranging the universe
sender[e87,jmc] Translation of Senderov's Answers to questions
smolen[e87,jmc] On Smolensky's "Proper Treatment of Connectionism"
thomas[e87,jmc] Position paper for Journal of Philosophical Logic
for Thomason
touch.lsp[e87,jmc] Program tested on Butterfly and on Alliant
voinov[e87,jmc] citations in Voinovich's The Anti-Soviet Soviet Union
Fall 1987
daedal.tex October draft of Daedalus paper
EDUCA.[F87,JMC] U.S. Soviet project on computer education of
mathematically talented high school students
HALSTE.RE1[F87,JMC] recommendation
know.tex[f87,jmc] Two puzzles for inclusion in collected papers
(not the final version)
puzzle.lsp[f87,jmc] copy of peano:>jmc>puzzle.lisp - mods to Throop program
movin.lsp[f87,jmc] copy of southern-select:>throop>puzzle>moving-functions.lisp
heuris.lsp[f87,jmc] copy of ... heuristics.lisp
testin.lsp[f87,jmc] copy of ... testing.lisp
boards.lsp[f87,jmc] copy of ... boards-and-queues.lisp
data.lsp[f87,jmc] copy of ... datastructures.lisp
commen.tex[f87,jmc] copy of ... commen.tex
callin[f87,jmc] copy of ... calling-dependencies.text
weird[f87,jmc] copy of ... weird-code.lisp
system[f87,jmc] copy of ... puzzle.system
tarbab[f87,jmc] Tar baby for the APS
alg50[f87,jmc] draft of Algol 50 paper, re: elephant
ascrib[f87,jmc] ascribing mental qualities - for utexas philosophy colloquy
cs326[f87,jmc] course notes, epistemological problems of ai, cs326
daedal.2[f87,jmc] utexas version of Daedalus paper
defens[f87,jmc] In defense of America
disinf.ns[f87,jmc] various Soviet disinformation efforts
educa[f87,jmc] educating mathematically talented students re: Ershov
elephl[f87,jmc] elephant logic, re:mental situations
evilem[f87,jmc] unsent letter: It really is an evil empire
gorbac[f87,jmc] Maybe Gorbachev can have it all
heavy[f87,jmc] Heavy duty set theory
ideas[f87,jmc] turning conceptual problems into technical problems
good job of formalizing set theory within set theory
enthusiasms
declarative expression of reasoning heuristics
lisp machine needs preview (won't undo suit?)
a boat is presumed usable because of its purpose
what is primitive is context dependent
editor virtue
what computations can be verified by a finite state machine
database not equiv to its extension
oct 8 elephant logic
functional requirements for communication
minimize what situations we are interested in
not declaring types
tribal behavior
elephant needs sequences of times as objects
extend notion of salience as way of influencing people
finding hostages in Beirut
improving Yellow Pages
programmable lock accepting ordinary keys
VAL's proposals for chronological minimization
micro-clipboard, dress pack
knowle[f87,jmc] Notes on knowledge
lisp[f87,jmc] The future of LISP and how to get there
logicy[f87,jmc] Notes on logic in AI year
mental[f87,jmc] mental situations
newrep[f87,jmc] proposals regarding humanities' publish or perish
ontolo[f87,jmc] ontology of the common sense world
sandin[f87,jmc] a start on State Department quotes from Sandinistas
schwar[f87,jmc] notes on Jack Schwartz's "Limitations of AI"
sdi[f87,jmc] Notes for ut sdi debate
searle[f87,jmc] Themes of John Searle
sender[f87,jmc] translation of Senderov interview
soviet[f87,jmc] notes on soviet, sdi etc., also re NAS study
tarbab[f87,jmc] letter to Val Fitch re DEW study flap
title[f87,jmc] supplementary list of papers for epistemology class re: cs326
voltai[f87,jmc] project voltaire, let MRC defend hussein to the death
w88[f87,jmc] notes on winter 88 courses
Winter 1988
ames[w88,jmc] Nomination of Bruce Ames for Japan prize
artifi.3[w88,jmc] New version of Collier's encyclopedia article on AI
autoep[w88,jmc] Reifying autoepistemic logic
bull[w88,jmc] Can a machine think? for Bull conference in Paris
cohen[w88,jmc] Review of Cohen for Stanford summer reading
collap[w88,jmc] Collapsible circumscription, re Kolaitis talk
cs101[w88,jmc] Notes on what I did in the class
elabor[w88,jmc] Elaboration tolerance
equiva[w88,jmc] Equivalence classes as first class objects
essays[w88,jmc] Essays for vtss 160, Winter 1988
future[w88,jmc] The future of LISP
glasno[w88,jmc] Class relations in the Soviet Union
help[w88,jmc] How we could help the Soviets in computing
hoter[w88,jmc] Notes for vtss talk on home terminals and time-sharing
ideas[w88,jmc] Ames for Japan prize, free speech project for UCRA
At what level of detail do people plan
know[w88,jmc] Knowledge about knowledge in databases
moses[w88,jmc] files commenting on essays in Moses and Dertouzos,cs101
nrc.dis[w88,jmc] mailing list for NRC committee on foreign and
Soviet computing
nsf[w88,jmc] 1988 NSF Basic Research in AI Proposal
plato[w88,jmc] Empirical Platonism
puzzle[w88,jmc] Notes on 15 puzzle
review[w88,jmc] Review of The Question of Artificial Intelligence
by Bloomfield
robot.ess[ess,jmc] Household robots
shilts[w88,jmc] Review of And the Band Played On
super[w88,jmc] Statement on supercomputers
trade[w88,jmc] Coercing Japan and others to buy American is a bad idea
vtss[w88,jmc] Notes on what I did in vtss
vtss.com[w88,jmc] Comments on student papers in vtss
wester[w88,jmc] The Superiority of Western Culture
wester.2[w88,jmc] Western Technology and Western Culture
ysp[w88,jmc] Another attack on the Yale shooting problem
1988 Spring
ailog[s88,jmc] AI in logic for press
ban[s88,jmc] Banning drugs, etc.
brown.re1[s88,jmc] Review of nsf proposal by Frank Brown
cancel[s88,jmc] Propositional Cancellation logic (pcl)
cannot[s88,jmc] Formalizing inability
china[s88,jmc] Abstract for IBM and China, AI, knowledge and databases
common[s88,jmc] What is common sense?
contex[s88,jmc] Notes on contexts
freewi.1[s88,jmc] Notes on the AIlist debate about free will
defens[s88,jmc] Glasnost and American defense
humani[s88,jmc] Human instincts and human values
hypert[s88,jmc] Notes on the hypertime hypothesis
ideas[s88,jmc] Letter to incoming freshmen
lectur[s88,jmc] General lecture on logic of common sense in AI
letter[s88,jmc] Open letter to Stanford freshmen
levesq[s88,jmc] Comments on comments on McD
meta[s88,jmc] Message to AILIST on metaepistemology
nonmon[s88,jmc] Nonmonotonic reasoning in human affairs
ockham[s88,jmc] Notes April 15 Ockham's Razor lecture
omni[s88,jmc] What's left to do in AI
politi[s88,jmc] My political and social philosophy
prefac[s88,jmc] Preface to collected papers
review[s88,jmc] Another try at reviewing The Question of Artificial Intelligence
sloman[s88,jmc] Sloman on free will
soviet[s88,jmc] Soviet dependence on Western opinion
soviet.ns[s88,jmc] Western scholars in Soviet Union and tabu topics
suny[s88,jmc] SUNYAB statement and my su-etc message
trip[s88,jmc] For May trip
valnot[s88,jmc] Notes on Lifschitz's Circumscriptive Theories
world[s88,jmc] The problems of the world
SOVIET.NS[S88,JMC] Soviets Turn to American Scholars to Help Write Their History
JET.NS[S88,JMC] Facts about jet lag
PRIZE.NS[S88,JMC] On Kyoto prize
GERMAN.NS[S88,JMC] Facts about East Germany
1988 Summer
ai[e88,jmc] Artificial Intelligence for NAS study
accura[e88,jmc] Accuracy in Academia
americ[e88,jmc] notes on the American position in the world
benzen.ns[e88,jmc] Acceptable risk
cbcl[e88,jmc] Prose for cbcl proposal
comcon[e88,jmc] On the impact of Comcon
dennet[e88,jmc] Dennett's "The intentional stance"
discus[e88,jmc] messages about nonmonotonic problems
dylan.ns[e88,jmc] Complete list of Bob Dylan records
elabor[e88,jmc] A research problem in elaboration tolerance, facts
about visas
energy.ess[e88,jmc] Energy preliminaries
fang.ns[e88,jmc] Interview with Fang Lizhi, democracy in China
gedank[e88,jmc] Social gedanken experiments
global[e88,jmc] Comments on draft of Global Trends in Computer Technology
and their impact on export control
home.ns[e88,jmc] Home schooling
hypert[e88,jmc] Comments on ACM Communications special issue on hypertext
ibm.abs[e88,jmc] Abstract of lecture, 1988 Sep 28, IBM Menlo park
irvine[e88,jmc] Conservative Handful by Reed Irvine
katz[e88,jmc] Notes on Language and other Abstract Objects
kyoto[e88,jmc] Kyoto prize philosophical lecture
kyoto.2[e88,jmc] Final version of Kyoto prize philosophical lecture
makaro[e88,jmc] Announcement of Makarov talk
nonmon[e88,jmc] Nonmonotonic reasoning, AI and natural language
positi[e88,jmc] Position paper on AI and philosophical logic
progre[e88,jmc] Political action for progress
quayle[e88,jmc] Quayle to North
read.ns[e88,jmc] How to read to children
smith[e88,jmc] Notes on Wealth of Nations by Adam Smith
stanfo[e88,jmc] Stanford and the candlelight protest
symbol[e88,jmc] Symbolic systems reading list
thomas[e88,jmc] Another try at AI and logic for Thomason, superseded
thomas[f88,jmc]
travel[e88,jmc] Travel with obstacles, common sense
wics[e88,jmc] Notes for 1988 WICS final lecture
1988 Fall
accept[f88,jmc] Acceptance speech for Kyoto prize
anders.ns[f88,jmc] Politics in a news story
beeson.1[let,jmc] New results on triangle problem
chess[f88,jmc] Chess as the Drosophila of AI
closed[f88,jmc] Closed and Open Reasoning
contex[f88,jmc] Reifying context
dartmo.ns[f88,jmc] Lawsuit on Dartmouth Review suspensions
dennet[f88,jmc] Review of The Intentional Stance and Elbow Room for AI
flipfl[f88,jmc] The flipflop (flip-flop) as an example
future[f88,jmc] How we can live in the future
ginsbe[f88,jmc] Errors in intro to Ginsberg's nonmonotonic readings
giving[f88,jmc] Giving Mental Qualities to Machines
ideas[1,jmc]/2p/151l Science relevant to philosophy
israel[f88,jmc] Reasons for helping Israel defend itself
jtrip[f88,jmc] To do before Japan trip and to take
kyoto.abs[f88,jmc] Abstracts of Kyoto Lectures
networ[f88,jmc] Networks considered harmful --- for electronic mail
normal[f88,jmc] Normally with two arguments
paradi[f88,jmc] Notes on Paradigms Lost by John Casti
projec[f88,jmc] Successive projection is often not so good
quake.ns[f88,jmc] List of major earthquakes
quiz[f88,jmc] Answers to Kyoto questions
parkin[f88,jmc] Boston parking cap - for vtss160
report[f88,jmc] Report on NSF grant
rota[f88,jmc] Reply to Rota
nuclea[f88,jmc] For SE2 meeting, CO2 and nuclear power
smolen[f88,jmc] Notes on Proper Treatment of Connectionism (PTC)
thomas[f88,jmc] Paper for Thomason
soviet[f88,jmc] Terms for Soviet access to Western computer technology
ssp[f88,jmc] Notes for talk to SSP forum
ysp[f88,jmc] The Yale shooting and related problems
1989 Winter
bernst[w89,jmc] Comments for Bernstam conference
contex[w89,jmc] Reifying context - for paper for Thomason
correc.lis[w89,jmc] To get correction on Stanford Daily story
cs323[w89,jmc] Winter 1989
cs323.1[w89,jmc] 1989 Take home exam
csd[w89,jmc] Draft csd statement
csd.2[w89,jmc] CSD statement opposing censorship of rhf, rec.humor.funny
dartmo.ns[w89,jmc] Reinstatement of Dartmouth Review people
dennet[w89,jmc] Notes for review of Intentional Stance
freedo[w89,jmc] Don't tinker with the First Amendment
freedo.2[w89,jmc] Stanford Daily opinion piece
gorin[w89,jmc] Gorin messages about rec.humor.funny
glasno[w89,jmc] First signs of solidarity in the Soviet Union
humor[w89,jmc] points for discussion and paper file, clippings
rec.humor.funny, Brown statement
humor.2[w89,jmc] Statement of protest,rec.humor.funny
ideolo[w89,jmc] Ideology and the scientific community
kenned[w89,jmc] Notes on conversation with President Kennedy
lectur[w89,jmc] Notes for European trip lectures
librar[w89,jmc] Notes on future libraries
morozk[w89,jmc] Stories from Morozko (translated)
moscow[w89,jmc] Telegram to Moscow
newsgr[w89,jmc] The newsgroup censorship flap, rec.humor.funny
sclc[w89,jmc] Why no new policy is best.
sclc.1[w89,jmc] March 1 draft of SCLC statement
strate.lst[w89,jmc] re rec.humor.funny
street[w89,jmc] Just in case
logic[w89,jmc] Logic in AI, for csli
protes[w89,jmc] Protest statement on censorship rec.humor.funny
query[w89,jmc] Questions for Ralph Gorin about censorship,rec.humor.funny
signat[w89,jmc] Signatures on protest
stich[w89,jmc] Notes on From Folk Psychology to Cognitive Science
techno[w89,jmc] Neglect of technology (for Bernstam proceedings)
turing[w89,jmc] Title and abstract for Turing lecture
vtss.160[w89,jmc] Students signed up for vtss 160 w89
wester[w89,jmc] Proposals for a CIV track (World civilization and culture)
1989 Spring
chess[s89,jmc] Making Computer Chess More Scientific
civ[s89,jmc] World cultures, ideas and values
drosop[s89,jmc] The drosophilae of AI
electi[s89,jmc] The Soviet elections
elepha[s89,jmc] Elephant 2000
first[s89,jmc] First Amendment amendment to SCLC statement
founda[s89,jmc] Foundations of AI
goose[s89,jmc] How they wounded the goose that laid the golden egg
gunthe.ns[s89,jmc] News story about Gerry Gunther's visit to his
home town in Germany
kyoto.ns[s89,jmc] 1989 Kyoto prize
motiva[s89,jmc] Theory of motivation
nation[s89,jmc] National Association of Scholars
PRISON.NS[S89,JMC] People in U.S. prisons - for feminists
propos[s89,jmc] Proposal to DARPA for supplementary contract
rape.ns[s89,jmc] Rape case for su-etc
refere[s89,jmc] Report on Goedel's theorem and cognitive science, P. Kugel
soviet[s89,jmc] Soviet-Western relations
searle[s89,jmc] Notes on Searle's Speech Acts
thomas[s89,jmc] Thomason's Latexed version of thomas[f88,jmc]
1989 Summer
alpha[e89,jmc] Notes suggested by Morgenstern's thesis
austin[e89,jmc] Notes on How to do things with words
barwis[e89,jmc] Comments on Barwise paper
china[e89,jmc] quotes on China
common[e89,jmc] What is common sense?
common.sli[e89,jmc] The common sense informatic situation
contac[e89,jmc] Contacts for Susie concerning soc.culture.china
elepha.abs[e89,jmc] Abstract for lecture at IBM
elepha.sli[e89,jmc] Elephant 2000 airline program
equiva[e89,jmc] Programming with equivalence relations
ershov[e89,jmc] Remembering Andrei
expert[e89,jmc] Expert Systems and Mathematical Logic (for IAKE)
files.old[e89,jmc] Old paper files, indexed 1989 Sep
glasgo.sli[e89,jmc] Slide for unexpected obstacle problem
harvar.abs[e89,jmc] Abstract for lecture at Harvard, 1989 Oct 2
humani[e89,jmc] The development of humanitarianism
left[e89,jmc] Why leftism survives revelations of crimes
networ[e89,jmc] Networks considered harmful
networ.pla[e89,jmc] Networks considered harmful, w/o tex
politi[e89,jmc] The Soviet Union and American Politics
probab[e89,jmc] Formalized Bayesianism Requires Non-monotonic Logic
proofs[e89,jmc] notes on proofs of my papers
roots[e89,jmc] The roots of world civilization and culture
search[e89,jmc] Notes on Search
sierra[e89,jmc] The case against the Sierra Club
soviet[e89,jmc] Should we aid the Soviet Union economically?
speech[e89,jmc] Speech act stuff
thatch.ns[e89,jmc] Opinions on the French revolution
VENDEE.NS[E89,JMC]
verify[e89,jmc] The very idea of program verification
vtss[e89,jmc] Catalog description and writeup,vtss160
Technological Opportunities for Humanity
1989 Fall
ALGOL.SLI[F89,JMC] Algol 48 and Algol 50
applic.sli[f89,jmc] Applications of formalizing common sense
clarke[f89,jmc] On the Clarke-Collins correspondence
confer[f89,jmc] Fears about the strategic directions conference
cyc[f89,jmc] Notes on the CYC project
drosop[f89,jmc] Chess as the drosophila of AI
elepha.l[f89,jmc] A try at the reservation program in logic
long[f89,jmc] The long term prospect for humanity
FORMAL.SLI[F89,JMC] Formalizing common sense as an AI project
herik[f89,jmc] Fax to Herik about chess paper
herik.1[f89,jmc] Note to van den Herik about chess paper
hewitt.tex[f89,jmc] Hewitt open systems text
itoldy[f89,jmc] I told you so, soviet
napole[f89,jmc] Napoleon and Wellington hearing of each others deaths
NAS25[f89,jmc] National Association of Scholars (NAS) 1989 Oct 25
philos[f89,jmc] A Philosophy of Science and Common Sense
prejud[f89,jmc] Prejudices about Stanford economization
runcie.ns[f89,jmc] Runcie on temporary eclispse of communism
searle[f89,jmc] Letter to Scientific American about Searle article
TOOLS.SLI[F89,JMC] Tools for formalizing common sense
1990 Winter
AILIST[W90,JMC] List of newsgroups concerned with AI
concil[w90,jmc] Conciliating approaches to AI
confer[w90,jmc] Conference on logic of common sense
contex[w90,jmc] Notes for paper on context
CREATI[lit,jmc] Creativity is as creativity does
emotio[w90,jmc] Notes on emotions (for CYC)
lighth[w90,jmc] Lighthill after almost 20 years
madrid[w90,jmc] Lecture for U. Madrid honorary degree
MCC[W90,JMC] Notes on MCC consulting
penros.1[w90,jmc] Review of Penrose book
puzzle[w90,jmc] The ``better'' heuristic for the 15-puzzle
social[w90,jmc] Towards a viable socialism
unempl.ess[w90,jmc] Unemployment and technology
poll.ns[w90,jmc] 10.3 percent of Soviets most admire Israel
BEEF.NS[W90,JMC]
VETERI.NS[W90,JMC]
KGB.NS[W90,JMC]
INDIAN.NS[W90,JMC]
MINSKY.NS[W90,JMC]
PRIZE.NS[W90,JMC]
SELECT.NS[W90,JMC]
WATCH.NS[W90,JMC]